git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/totality001
5 files
../ expectedCategorise tests runDon't try to compile a test that doesn't have `main` test010.idrCategorise tests test010a.idrCategorise tests test010b.idrCategorise tests