Lambda Calculus Playground
Untyped λ-calculus reducer with capture-avoiding α-renaming. Step through normal-order or applicative reductions. Church numeral pretty-printing, Y combinator, SKI, classic predecessor.
Untyped λ-calculus reducer with capture-avoiding α-renaming. Step through normal-order or applicative reductions. Church numeral pretty-printing, Y combinator, SKI, classic predecessor.