idris-mode – Buffer has no process
问题 I'm new to emacs (coming from vim, where I can't get idris-vim to work) and have these packages installed via el-get: ace-jump-mode installed A quick cursor location minor mode for emacs. el-get installed Manage the external elisp bits and pieces you depend upon. evil-leader installed Add <leader> shortcuts to Evil, the extensible vim emulation layer evil-numbers installed Increment/decrement numbers in Evil, the extensible vim emulation layer. Like C-a/C-x in vim. After installation, you