git.iko.soy/Idris-dev
on cf47310 help sign in
Idris-dev/test/reg035
5 files
../ expectedRequire unique global names in TT 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.