Lambda Calculus-Haskell translator, built with Lex and Yacc.