thamugadi / call-cc-krivine

A Krivine machine for the call-by-name reduction of lambda calculus (+ call/cc) expressions in Haskell.
14Updated 8 months ago

Related projects

Alternatives and complementary repositories for call-cc-krivine