git.iko.soy/Idris-dev
on e32e899 help sign in
Idris-dev/test/error003
3 files
../ ErrorReflection.idrMove Fin, Vect and So from prelude to base expectedset console width / adjust tests by using --consolewidth to make them work with the curses flag runset console width / adjust tests by using --consolewidth to make them work with the curses flag