Lambda Calculus Beta Reducer
Clear
esc
Enter a lambda expression below or choose from examples to begin.
Syntax:
\x.body
or
λx.body
for lambda,
(f x)
for application
Examples
ctrl-e
Reduce ❯
ctrl-r
Choose an Example