The browser REPL
Type polyformalism code on the left. See the journal on the right. Use the time-travel slider to scrub through the history. Save your work, take it offline, come back.
01The REPL
02Time travel
The slider scrubs through the journal. The cells on the right reflect the state at the slider's position. Drag to roll back, release to jump forward.
Scrub to event:
0 / 0
Run some code to enable time travel.
03Prover — verify the 5 laws
Click Prove to check that your journal
obeys the 5 algebraic laws. The prover is the same one
in quilt-substrate-meta/src/prove.c.
04Save / load
The state is yours. Save it to localStorage, to Cloudflare KV (shareable URL), or export to a saddle-bridge JSONL you can replay on a local instance.