2 commits

Author	SHA1	Message	Date
Jeremy Bi	644cddca27	Enable auto-complete in Idris repl ... Add keybinding to kill Idris process	2016-07-02 12:41:49 +03:00
Jeremy Bi	ec9c18b832	Improve idris support ... Squashing the 3 commits of #5688: Commit 1 -------- Add prefix doc in idris layer Also remove `idris-ensure-process-and-repl-buffer` as this is not an interactive command Add `SPC m l` keybinding for extracting lemma Bind `SPC m c` to `idris-case-dwim` Commit 2 -------- Fix registering idris repl Commit 3 -------- Add basic auto-completion for idris mode	2016-04-11 10:50:34 +02:00