🦕 Lambdasaurus

Practice lambda calculus reductions step by step
Work in progress — bugs or suggestions? sfreund@williams.edu

Syntax

\x. body abstraction f x y application (left-assoc) 2 + 3 addition 5 - 2 subtraction [N/x]M explicit substitution

Examples

(\x. x) y → y
1 + 2 → 3
(\x. x y) z → [z/x](x y) → z y

Enter a lambda term below or start with an example:

more examples â–¾