git.iko.soy/Idris-dev
on 3cb1f21 help sign in
history ofsrc/Idris/Help.hs
all commits
5075b24Support for the new interactive commands via the IdeSlave REPL Also, add ":addmissing" and ":addmissing!" to completions of the REPLHannes Mehnert 6306d68:help and tab completion for :docDavid Christiansen 91317fbAdd new editor commands to tab completionDavid Christiansen 1085d22Tab completion for setting colours at the REPLDavid Christiansen fe20bf1Allow colour options from REPLDavid Christiansen 75e0141add command to change current directoryHannes Mehnert a029bd8reduce duplication by providing a show instance for CmdArgHannes Mehnert 70c9bd5Completion and help for :dynamic at the REPLDavid Christiansen 82190d3Basics of command to execute IO actions in the interpreterDavid Christiansen 2297270unify help and completion of REPL - previously they were not in sync, now it is one lookup tableHannes Mehnert