root
/
fjs
/
fsc
fjs/fsc/transpiler
Files
module.f.mjs
proof.f.mjs
types.ts
Emergent Testing
Idle. Press Run to start the suite.
Run
./module.f.mjs
./proof.f.mjs