git.iko.soy/Idris-dev
on 56cd328 help sign in
Idris-dev/test/error006
3 files
../ WithPatsNoWith.idrFix issue #2666 ("with" patterns accepted outside of "with" block) expectedFix issue #2666 ("with" patterns accepted outside of "with" block) runRemove redundant --consolewidth settings in tests