git.iko.soy/Idris-dev
on ea65347 help sign in
Idris-dev/src/Idris/Package
2 files
../ Common.hsAlphabetize and indent imports and LANGUAGE pragmas Parser.hsAdd check for ipkg existence and correct extension.