/cook

The λ-calculus in Haskell in four different ways

Primary LanguageHaskell

cook

Library and main program from Augustsson’s paper describing how to implement the λ-calculus in Haskell in four different ways.

Usage

$ 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

References

• Augustsson, L. (2006) “λ-calculus cooked four ways”

About

Packaged by Miëtek Bak.