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