Lambda Calculus X

TypeScript browser playground

Parse, normalize, and trace lambda terms directly in the browser. The evaluator mirrors the Haskell version and adds a reduction trace view that is easier to inspect interactively.

Program

Expression

Strategy Max beta steps

Session bindings One binding per line, like add = \m n f x. m f (n f x).

Examples

Result

Idle

Normalized form

No result yet.

Steps used 0

Reduction trace

Notes

Ready.