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