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, ⊥