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