#
cpressey-theory
Here are 4 public repositories matching this topic...
What do you get when you cross Statecharts with The Elm Architecture?
state-machinesuml-state-machinenested-statesstatechartshierarchical-state-machinepurely-functional-data-structuresthe-elm-architecturereactive-programming-conceptsreactive-theorynested-modal-transducersnested-state-machinecpressey-theory
- Updated
Oct 31, 2023 - Haskell
Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system
theorem-provingpropositional-logicencapsulationnatural-deductiontheorem-proverproof-checkinglcf-styleproof-checkerparse-dont-validatecpressey-theory
- Updated
Oct 31, 2023
The destructorizer for booleans is quite popular. It's called "if"
- Updated
Oct 31, 2023
Aggressive constant folding + eval = hygienic macros
- Updated
Nov 8, 2023
Improve this page
Add a description, image, and links to thecpressey-theory topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thecpressey-theory topic, visit your repo's landing page and select "manage topics."