disp is under heavy development and much of the codebase is AI-written — explore this website at your peril :)

Visualizer

Reserved for the reduction visualizer: step through real programs as trees and interaction nets, watch sharing happen, and profile where the work goes. Not built yet. For now, enjoy the five rules on loop.

Edits parse as you type; Enter (re)starts the tree. Combinators: t (△), K, S, not, and, or, add, and plain numbers. Any other name — x, y, f … — is a free variable: a named leaf the reductions carry along symbolically.