tapl-haskell Implementacion hecha en Haskell de los lenguajes presentes en el libro Types and Programming Languages. Lenguajes: arith: Expresiones aritméticas no tipadas untyped: Cálculo λ no tipado