Pages

Every HTML page in the repository, served from its place in the tree.

(top level)

• CHECK.disp — checking a function type with one run instead of a stream CHECK.html
• Types as tests that would take forever — the design of disp's type system TYPES.html

archive

• From tree calculus to TC-Net — an interactive walkthrough EVALUATOR_WALKTHROUGH.html

editors/vscode-disp

• disp vs rust highlighting palette-preview.html

evaluators/reversible-ca/visualizers

• reversible-ca — bijective Margolus blocks, 1D toy index.html

evaluators/rust-ic-mesh/player

• rust-ic-mesh — interaction nets on a mesh of tiles index.html

evaluators/rust-ic-strands/player

• firefox check firefox-check.html
• gpu check gpu-check.html
• rust-ic-strands — interaction nets as strands on a lattice index.html
• input box check input-check.html

research/interaction-combinator

• rust-ca-lattice — cascade replay lattice_player.html

research

• Types, as ways of knowing — an interactive research atlas stream-types-atlas.html