git.iko.soy/Idris-dev
on 64a2bc8 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.idrRemoved semicolons from tests