git.iko.soy/Idris-dev
on ebbae35 help sign in
Idris-dev/test/proof002
5 files
../ Reflect.idrMove Fin, Vect and So from prelude to base expectedDisplay expected type of RHS in error messages runset console width / adjust tests by using --consolewidth to make them work with the curses flag test030.idrCategorise tests test030a.idrCategorise tests