A lambda calculus interpreter
