git.iko.soy/Idris-dev
on da61891 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 runmake the tests respect the IDRIS env variable