git.iko.soy/Idris-dev
on 3cb1f21 help sign in
Idris-dev/test/reg026
3 files
../ expectedFix regression with implicits, add a test reg026.idrFix regression with implicits, add a test runReset test runscripts to mode 0755