git.iko.soy/Idris-dev
on ff7ea9d 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 "!" expectedPrevent unquotations from being parsed as infix operators runFix formatting of some tests working.idrAdd regression test for operators starting with "!"