git.iko.soy/Idris-dev
on d86f82e 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 include '=' for RHS span runRemove redundant --consolewidth settings in tests