git.iko.soy/Idris-dev
on d7df489 help sign in
Idris-dev/test/test002
3 files
../ expectedDon't write .ibc on error; add new test runDon't write .ibc on error; add new test test002.idrDon't write .ibc on error; add new test