git.iko.soy/Idris-dev
on eedaa56 help sign in
Idris-dev/src/Pkg
2 files
../ PParser.hswindows executables should end with .exe Package.hsSupport builds that doesn't use cabal for libs and rts