Lambda → 2D
Projects save automatically on this device. No account is required.
Built-in function admin
Enter the administrator password.
Functions
Final output JavaScript
Optional project-local JavaScript that changes the text shown beside the final diagram. It runs only for projects saved on this device.
result is always the final lambda expression string, for example "/x.x". Return text to show, or return ""/null to hide it.
Bulk create functions
Paste definitions using NAME := expression. Lines beginning with # are comments. A definition may continue on following lines until the next NAME :=.
Saved locally
Lambda → 2D Simulator
Normal-order reduction: outermost first, then leftmost. Common names such as mul, add, succ, pred, fact and numbers such as 0, 1, 2, 3, … can be expanded automatically. Capture-avoiding substitution is used during simulation. The diagram always fits a 1000×600 canvas.
Reductions: 0