A runnable version of Augustsson’s paper describing how to implement the λ-calculus in Haskell in four different ways.
$ cook S <timing.lam
\x44. \x43. x43
$ cook U <timing.lam
\x13663534. \x13663535. x13663535
$ cook H <timing.lam
\x0. \x1. x1
$ cook D <timing.lam
\x0. \x1. x1
• Augustsson, L. (2006) “λ-calculus cooked four ways”
Packaged by Miëtek Bak.