lc
lc is a collection of experimental Lambda Calculus evaluators. It's a playground for exploring different type systems.
Current implementations:
- Untyped Lambda Calculus
- Simply Typed Lambda Calculus
- System T
- System F
- Hindley-Milner
- Dependently Typed Lambda Calculus (λ𝚷)
Try it out
A minimal UI for playing around with these languages is hosted here.
To run locally, install
Purescript
and run bower install and pulp build. Then open index.html.