git.iko.soy/Idris-dev
on e0861bb 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 "!" expectedForgot to commit the update test... runAdd regression test for operators starting with "!" working.idrAdd regression test for operators starting with "!"