git.iko.soy/Idris-dev
on bb400de 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 expectedImplicit bindings warnings runRemove redundant --consolewidth settings in tests