Code
1
Help
To β-reduce a lambda expression, enter the expression and press run.
\
can be used instead of λ
.Values can be defined for use in the expression.
true := λt.λf.t
false := λt.λf.f
0 := λs.λz.z
1 := λs.λz.s z
2 := λs.λz.s (s z)
iszero := λm.m(λx.false) true
iszero 0
iszero 2
Result