fjs/edag/memo

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

Idle. Press Run to start the suite.

• ./proof.f.mjs