git.iko.soy/Idris-dev
on da672ec help sign in
Idris-dev/test/reg041
4 files
../ expectedConsistency of implicit/pattern name binding rules ott.idrConsistency of implicit/pattern name binding rules runImprove the portability of reg041 showu.idrRename test reg040 to avoid clash