git.iko.soy/Idris-dev
on aeb032a help sign in
history ofsrc/Idris/ModeCommon.hs
all commits
c57370eAdd export list to Idris.Output and Idris.ModeCommonNiklas Larsson 5950e1ePrevent private functions showing up in autocomplete and :t.Steven Shaw 4a1c2a1Refactoring: Move options out of AbsSyntaxNiklas Larsson 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