A lambda calculus interpreter written in Scheme.