git.iko.soy/Idris-dev
on 5259edc help sign in
Idris-dev/test/pkg001
4 files
../ Main.idrFixed mistake and added test 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.