A lambda calculus interpreter