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