git.iko.soy/Idris-dev
on bf37049 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. runFixed mistake and added test test.ipkgMake the pkg tests take the same display options as the other tests.