#

cpressey-theory

Here are 4 public repositories matching this topic...

cpressey / Nested-Modal-Transducers

What do you get when you cross Statecharts with The Elm Architecture?

state-machines uml-state-machine nested-states statecharts hierarchical-state-machine purely-functional-data-structures the-elm-architecture reactive-programming-concepts reactive-theory nested-modal-transducers nested-state-machine cpressey-theory

Updated Oct 31, 2023
Haskell

cpressey / LCF-style-ND

Exposition of an LCF-style theorem prover for propositional logic in a Natural Deduction system

theorem-proving propositional-logic encapsulation natural-deduction theorem-prover proof-checking lcf-style proof-checker parse-dont-validate cpressey-theory

Updated Oct 31, 2023

cpressey / Destructorizers

The destructorizer for booleans is quite popular. It's called "if"

algebraic-data-types language-design destructuring language-constructs destructorizers cpressey-theory

Updated Oct 31, 2023

cpressey / Ahead-of-Time-eval

Aggressive constant folding + eval = hygienic macros

macros eval ahead-of-time hygienic hygienic-macros constant-folding cpressey-theory macro-system

Updated Nov 8, 2023

Improve this page

Add a description, image, and links to the cpressey-theory topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cpressey-theory topic, visit your repo's landing page and select "manage topics."