cpressey-theory

There are 1 repository under cpressey-theory topic.

cpressey / Nested-Modal-Transducers
What do you get when you cross Statecharts with The Elm Architecture?
reactive-programming-concepts statecharts the-elm-architecture reactive-theory purely-functional-data-structures state-machines hierarchical-state-machine uml-state-machine nested-modal-transducers nested-states nested-state-machine cpressey-theory
Language:Haskell 7
cpressey / LCF-style-ND
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
natural-deduction lcf-style propositional-logic parse-dont-validate encapsulation theorem-prover proof-checker theorem-proving proof-checking cpressey-theory
5
cpressey / Destructorizers
The destructorizer for booleans is quite popular. It's called "if"
language-design language-constructs destructuring destructorizers algebraic-data-types cpressey-theory
4
cpressey / Ahead-of-Time-eval
Aggressive constant folding + eval = hygienic macros
ahead-of-time constant-folding cpressey-theory eval hygienic hygienic-macros macros macro-system
Language:Scheme 1