git.iko.soy/Idris-dev
on da672ec 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 runAdd regression test for operators starting with "!" working.idrAdd regression test for operators starting with "!"