Switch branches/tags
Nothing to show
Find file History

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.