git.iko.soy/Idris-dev
on e8a41dc help sign in
Idris-dev/test/basic009
1 folder, 6 files
../ B/Categorise tests A.idrCategorise tests Faulty.idrFirst renaming attempt Main.idrFirst renaming attempt Multiple.idrMove Fin, Vect and So from prelude to base expectedDisplay expected type of RHS in error messages runmake the tests respect the IDRIS env variable