git.iko.soy/Idris-dev
on e8253fc help sign in
Idris-dev/test/basic009
1 folder, 6 files
../ B/Change export qualifier keywords A.idrChange export qualifier keywords Faulty.idrFirst renaming attempt Main.idrFirst renaming attempt Multiple.idrMove Fin, Vect and So from prelude to base expectedDon't query width when not a tty runRemove redundant --consolewidth settings in tests