git.iko.soy/Idris-dev
on 008fb1f help sign in
history ofsrc/Idris/Main.hs
all commits
4a65355Run Idris in a UTF-8-compatible codepage on WindowsRyan Scott fb33d8cIndentation configuration via command line args.Steven Shaw 7f0a137Improved User facing progress reporting.Jan de Muijnck-Hughes fa260c0Signal failures with proper exit codeEcho Nolan e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan be27074Allow specifying "--port none" to not start the interpreter serverEcho Nolan 2842bacTidying of `idrisMain` (fixes #1454).Jan de Muijnck-Hughes