git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/pkg002
4 files
../ Main.idrAdd test that IPKG executable accepts namespaced identifier expected.outRename expected, input and run run.shRename expected, input and run test.ipkgMake the pkg tests take the same display options as the other tests.