Base para implementação do Lambda Cálculo em Haskell Exemplo de execução $ runghc Main.hs < example1.hs $ runghc Main.hs < example2.hs