git.iko.soy/Idris-dev
on aeb032a help sign in
Idris-dev/test/totality001
5 files
../ expectedDon't query width when not a tty runRemove redundant --consolewidth settings in tests test010.idrMove Fin, Vect and So from prelude to base test010a.idrCategorise tests test010b.idrCategorise tests