git.iko.soy/Idris-dev
on 76ec3fe help sign in
Idris-dev/test/totality001
5 files
../ expectedadjust tests with --consolewidth for use with -f curses runadjust tests with --consolewidth for use with -f curses test010.idrMove Fin, Vect and So from prelude to base test010a.idrCategorise tests test010b.idrCategorise tests