A simple untyped lambda calculus written in haskell
see: https://github.com/wetmore/TAPL-implementations/blob/master/untyped/Parser.hs for inspiration
A simple untyped lambda calculus written in haskell
A simple untyped lambda calculus written in haskell
see: https://github.com/wetmore/TAPL-implementations/blob/master/untyped/Parser.hs for inspiration
A simple untyped lambda calculus written in haskell