Lambda Calculus Evaluator

Explore the lambda calculus, a formal system in mathematical logic for expressing computation. Define, evaluate, and visualize lambda expressions with step-by-step beta-reductions and normal form evaluation.