A parser for lambda calculus written in Haskell.