git.iko.soy/Idris-dev
on 239c8ca help sign in
Idris-dev/test/reg041
4 files
../ expectedMake --quiet imply non-verbosity ott.idrFixed failing regression test due to new syntax extension rules runImprove the portability of reg041 showu.idrRename test reg040 to avoid clash