LambdaVis
Enter a Lambda Calculus expression (e.g., `L`, `\`, `_ID`, `_TRUE`, `_2`) and evaluate it.
Expression
(_PLUS) (_5) (_3)
Predefined & Custom Terms (Click to insert)
ID
TRUE
FALSE
NOT
AND
OR
0
1
2
3
SUCC
PLUS
MULT
POW
Y-COMB
Current Form (Step-by-Step)
Prettified Form
Enter an expression.
Normal Form (Full Reduction)
Not yet fully reduced.
Define New Custom Term
Save Custom Term
Reset
Reduce Step
Reduce to Normal Form
Tromp Diagram
Abstract Syntax Tree
Help
Tromp Diagram
Enter a Lambda Calculus expression.