Combinatory logic and lambda calculus interpreter in JS/TS. Supports SKI, BCKW, Church numerals, defining new terms, λ ↔ SK conversions, and more. An HTML playground and quest page included.
Not Even A (Web Application) Framework - by the lazy, for the lazy