git.iko.soy/Idris-dev
on d689c19 help sign in
Idris-dev/test/pkg009
1 folder, 3 files
../ src/[ fix ] handle empty NS + test case datatype.ipkg[ fix ] handle empty NS + test case expected[ fix ] handle empty NS + test case run[ fix ] handle empty NS + test case