Lambda Sandbox

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 u...