fjs/dev

• clean/

• README.md
• module.f.mjs
• proof.f.mjs
• types.ts

Idle. Press Run to start the suite.

• ./clean/proof.f.mjs
• ./module.f.mjs
• ./proof.f.mjs