git.iko.soy/Idris-dev
on 5259edc help sign in
Idris-dev/test/pkg002
4 files
../ Main.idrAdd test that IPKG executable accepts namespaced identifier expectedMake the pkg tests take the same display options as the other tests. runmake the tests respect the IDRIS env variable test.ipkgMake the pkg tests take the same display options as the other tests.