engine loading…
The parsed NIF (.p.nif) appears here live as you type — nifparser turns your source into nimony's untyped intermediate form.The typed NIF (.s.nif) appears here after type-checking — nimsem resolves every symbol, overload and type on top of the parsed form.Press Run to see the program's execution serialized as NIF — the run rung: source → parsed → typed → run, the bottom of nifi's content-addressed compilation tower.Pick an example and press Run. The interpreter runs entirely in your browser — no server ever sees or executes your code.
stdin
Symbols in your code appear here as you type — click one to jump to it. Hover any name in the editor for its type; ⌃Space completes; F12 goes to definition.