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