Enhance auto-completion support for Idris layer
Now auto-completion will ask Idris process for completions
This commit is contained in:
parent
ddffb9445b
commit
2516703366
|
@ -14,7 +14,8 @@
|
|||
popwin))
|
||||
|
||||
(defun idris/post-init-company ()
|
||||
(spacemacs|add-company-hook idris-mode))
|
||||
(spacemacs|add-company-hook idris-mode)
|
||||
(push 'company-capf company-backends-idris-mode))
|
||||
|
||||
(defun idris/init-idris-mode ()
|
||||
(use-package idris-mode
|
||||
|
|
Loading…
Reference in a new issue