git.iko.soy/Idris-dev
on b4dbebd help sign in
Idris-dev/test/reg035
5 files
../ expectedDon't let tests depend on colouring. reg035.idrFirst renaming attempt reg035a.lidrMove Fin, Vect and So from prelude to base reg035b.idrMove Fin, Vect and So from prelude to base runDon't let tests depend on colouring.