Lambda Diagrams

Type a lambda term, see it as a Tromp diagram and watch the beta reduction morph through smoothly. The visualiser parses the untyped lambda calculus, draws every term as a Tromp diagram and evaluates it step by step with normal-order beta reduction, animating each step as a smooth morph between diagrams. Church numerals, booleans and the S, K, I and Y combinators are built in as examples – an interactive way to explore functional programming and computability theory, entirely in your browser.