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.
https://bjnick.itch.io/lambda-sandbox
