git.iko.soy/Idris-dev
on 50878fa help sign in
Idris-dev/src/Pkg
2 files
../ PParser.hsNo need to add .exe to the output name, it will be done later anyway Package.hsAdd exe to windows executables without extension when cleaning.