Lambda Sandbox (WIP)

Welcome!

This is a lambda calculus sandbox, which lets you use the rules of beta-reduction to play around with lambda expressions. Please note that the sandbox does not teach you lambda calculus, only lets you use your existing knowledge.

It is possible to define TRUE and FALSE and come up with logic gates based on their definitions. However, the simulator is not quite ready to evaluate Y-combinators.

Bugs and Suggestions

If you have any other bugs/suggestions/ideas please use the discussion board and I will see what I can do.

Make sure you use the closing parenthesis ")" from the same initial expression pair "x.( )" otherwise the evaluator will not work.

Source code on GitHub