git.iko.soy/Idris-dev
on e803aea 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