git.iko.soy/Idris-dev
on df64dfc 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 expectedImproved type-directed disambiguation runset console width / adjust tests by using --consolewidth to make them work with the curses flag