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