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)