git.iko.soy/Idris-dev
on f8a6746 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 "!"