git.iko.soy/Idris-dev
on f6edbf0 help sign in
Idris-dev/test/reg026
3 files
../ expectedFix regression with implicits, add a test reg026.idrFix regression with implicits, add a test runFix regression with implicits, add a test