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.