git.iko.soy/Idris-dev
on d689c19 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.