Lambda Calculus Beta Reduction Visualizer

Input Helper Guidelines

• Use λ or \ for lambda abstraction. For example: λx.x or \x.x.
• Separate the parameter and the body with a . (dot).
• Enclose expressions in parentheses if needed, e.g. (λx.x) y.
• Variable names should be alphanumeric (letters, digits, or underscores); avoid spaces or special symbols.
• Reserved words: true, false, if, and, or, not, succ, add, mul.
• In number replacement mode, numeric literals (e.g. 5) are automatically converted into Church numerals.
• In function templates, the underscore (_) is a placeholder for a value you’ll later fill in.