git.iko.soy/Idris-dev
on 7a23995 help sign in
Idris-dev/src/Pkg
2 files
../ PParser.hswindows executables should end with .exe Package.hsAdded TODO found in Package.hs