git.iko.soy/Idris-dev
on 02de034 help sign in
Idris-dev/test/reg042
3 files
../ expectedAdd a regression test. reg042.idrAdd a regression test. runAdd a regression test.