git.iko.soy/Idris-dev
on ec06f94 help sign in
Idris-dev/test/reg050
5 files
../ badbangop.idrAdd regression test for operators starting with "!" baddoublebang.idrAdd regression test for operators starting with "!" expectedFixed test error due to improved error message (the test had expected the old message) runAdd regression test for operators starting with "!" working.idrAdd regression test for operators starting with "!"