git.iko.soy/Idris-dev
on ebbae35 help sign in
Idris-dev/test/reg047
4 files
../ expectedNew regression test reg047.idrConsistency of implicit/pattern name binding rules reg047a.idrConsistency of implicit/pattern name binding rules runNew regression test