Lambda Viewer

Click to reduce, both beta and alpha (if needed) steps will be shown.

Here are a few examples you can try:

  1. (λx.λy.y) ((λx.x x) (λx.x x))
  2. (λf.f (f x)) ((λx.λy.x) (λx.y))
  3. (λf.λx.f (f x)) (λf.λx.f (f x)) (λx.x) (λx.x)
(λy.λz.z y) ((λx.x x x) (λx.x x x)) (λy.x x x)
_____________________ ___________________________________