Name		Name	Last commit message	Last commit date
parent directory ..
update		update
README.md		README.md
module.f.mjs		module.f.mjs
proof.f.mjs		proof.f.mjs
types.ts		types.ts

README.md

Test Framework

The main principle is that tests don't depend on test framework. We use conventions instead.

Conventions

file name 'test.f.*',
parsing default exports.