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