git.iko.soy/Idris-dev
on ca34dec help sign in
Idris-dev/test/pkg001
4 files
../ Main.idrFixed mistake and added test expectedAdd check for ipkg existence and correct extension. runAdd check for ipkg existence and correct extension. test-pkg.ipkgIntroduce a PkgName abstraction to represent package name instead of String