Name		Name	Last commit message	Last commit date
parent directory ..
Eval.hs		Eval.hs
Main.hs		Main.hs
Parser.hs		Parser.hs
Pretty.hs		Pretty.hs
README.md		README.md
Setup.hs		Setup.hs
Syntax.hs		Syntax.hs
stack.yaml		stack.yaml
untyped.cabal		untyped.cabal

README.md

Untyped Lambda Calculus

Untyped lambda calculus.

To compile and run:

$ cabal run

Example

Untyped> (\x. x) 1
 => \x . x
 => 1
 => x
1

License

Released under MIT license.