fjs/cli

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

• options-edsl.md
• positional-arity-check.md

Idle. Press Run to start the suite.

• ./proof.f.mjs