Code
run
help
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