git.iko.soy/Idris-dev
on 87fb53a help sign in
Idris-dev/test/reg041
4 files
../ expectedConsistency of implicit/pattern name binding rules ott.idrConsistency of implicit/pattern name binding rules runmake the tests respect the IDRIS env variable showu.idrRename test reg040 to avoid clash