git.iko.soy/Idris-dev
on 239c8ca help sign in
Idris-dev/test/reg042
3 files
../ expectedAdd a regression test. reg042.idrAddress semantic differences in putting things to STDOUT. runAdd a regression test.