Disable idris2 mode

This commit is contained in:
Nathan McCarty 2022-12-02 13:08:37 -05:00
parent 3469f3b6cf
commit eb94d3e704
Signed by: thatonelutenist
GPG Key ID: D70DA3DD4D1E9F96
1 changed files with 8 additions and 0 deletions

View File

@ -817,6 +817,14 @@ Configure idris2-mode, which we do manually since it's not yet in doom.
:config :config
(setq idris2-stay-in-current-window-on-compiler-error t)) (setq idris2-stay-in-current-window-on-compiler-error t))
#+end_src #+end_src
Disable company in idris2-mode, it's broken for now
[[https://github.com/idris-community/idris2-mode/issues/36]]
#+begin_src emacs-lisp
(after! idris2-mode
:config
(setq company-global-modes '(not idris2-mode)))
#+end_src
** Haskell ** Haskell
Setup formatting Setup formatting
#+begin_src emacs-lisp #+begin_src emacs-lisp