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