chrisnevers / ck-machine

Implementation of a CK machine

ck-machine

Exericise 7.6 of Programming Languages and Lambda Calculi

Implementation of a CK machine. Evaluates ISWIM terms in REPL.

Example:

> ((λ σ → σ) 1) + (2 + 3)
6, ⊥