git.iko.soy/Idris-dev
on ceff983 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 expectedDisplay expected type of RHS in error messages runRemove redundant --consolewidth settings in tests