git.iko.soy/Idris-dev
on da672ec help sign in
Idris-dev/test/reg035
5 files
../ expectedRequire unique global names in TT reg035.idrFirst renaming attempt reg035a.lidrConsistency of implicit/pattern name binding rules reg035b.idrMove Fin, Vect and So from prelude to base runDon't let tests depend on colouring.