git.iko.soy/Idris-dev
on e0861bb help sign in
Idris-dev/test/reg026
3 files
../ expectedFix regression with implicits, add a test reg026.idrMove Fin, Vect and So from prelude to base runReset test runscripts to mode 0755