git.iko.soy/Idris-dev
on 0250ca6 help sign in
history ofsrc/Idris/Completion.hs
all commits
c1a4eacFull TT reflection and reificationJan Bessai a029bd8reduce duplication by providing a show instance for CmdArgHannes Mehnert 2297270unify help and completion of REPL - previously they were not in sync, now it is one lookup tableHannes Mehnert 1617dd3Stop completion of names that are prefixes of othersDavid Christiansen 25a4649Only use metavariables as completions for :p and :proveDavid Christiansen 0bcdd51Complete identifiers following non-whitespaceDavid Christiansen 1e86384Haddock for completion moduleDavid Christiansen 66d8360Crude support for completion in proverDavid Christiansen 52203a3Complete tactic names in proverDavid Christiansen cc80288Rename the REPL's Haskeline uses to make them obviously REPL-specificDavid Christiansen cc3c913Complete arguments of commands (though slightly crudely)David Christiansen f0e096bComplete multiple identifiers in one expressionDavid Christiansen fc58a50Simple completion supportDavid Christiansen