root / fjs / types

fjs/types/nominal

Files

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

Emergent Testing

Idle. Press Run to start the suite.

./proof.f.mjs