git.iko.soy/Idris-dev
on a9dd2e4 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