In the project

Status: implemented

Everything the repository reads from outside, and the compiler's own intermediate form, is declared as a schema. Each page here names the modules that declare one group of them, says why each is open or closed, and offers them in its demo, imported from the module that declares them.

Pages

Where it is implemented

In the modules each page links; the demos import the schemas from there, so a schema shown is the one the code runs.

Emergent Testing

Idle. Press Run to start the suite.

  • ./effects/proof.f.mjs
  • ./expression-graph/proof.f.mjs
  • ./media/proof.f.mjs
  • ./proof.f.mjs
  • ./protocols/proof.f.mjs
  • ./tooling/proof.f.mjs