The true ruliad is an infinite limiting object.
Here we build something tangible: start with one
symbolic state, repeatedly apply several rewriting rules,
and keep every possible result.
Nodes are states; branches are rule applications.
Hover a node or branch to inspect it ·
click to pin ·
drag to orbit ·
scroll to zoom