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