A Lambda Calculus interpreter written in Haskell. This interpreter can do all alpha and beta reductions.
Labels: haskell