cpressey-theory
There are 4 repositories under cpressey-theory topic.
cpressey/Nested-Modal-Transducers
What do you get when you cross Statecharts with The Elm Architecture?
cpressey/LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
cpressey/Destructorizers
The destructorizer for booleans is quite popular. It's called "if"
cpressey/Ahead-of-Time-eval
Aggressive constant folding + eval = hygienic macros