git.iko.soy/Idris-dev
on 7d42ba2 help sign in
Idris-dev/test/totality001
5 files
../ expectedMove Fin, Vect and So from prelude to base runDon't try to compile a test that doesn't have `main` test010.idrMove Fin, Vect and So from prelude to base test010a.idrCategorise tests test010b.idrCategorise tests