diff options
| -rw-r--r-- | init.org | 17 |
1 files changed, 10 insertions, 7 deletions
@@ -2787,6 +2787,7 @@ (jao-define-attached-buffer "\\*eldoc\\( .*\\)?\\*" 0.33) (use-package yasnippet + :disabled t :ensure t :hook ((erlang-mode . yas-minor-mode-on) (erlixir-mode . yas-minor-mode-on)) @@ -2804,7 +2805,9 @@ (erlang-mode . lsp)) :diminish " 𝛌") - (use-package lsp-haskell :ensure t) + (use-package lsp-haskell + :disabled t + :ensure t) (use-package dante :disabled t @@ -3197,11 +3200,11 @@ ;; needs cabal install apply-refact (use-package hlint-refactor :ensure t - :after (flycheck haskell-mode) + :after (haskell-mode) :diminish "" - :bind (:map flycheck-command-map - ("r" . hlint-refactor-refactor-at-point) - ("R" . hlint-refactor-refactor-buffer)) + ;; :bind (:map flycheck-command-map + ;; ("r" . hlint-refactor-refactor-at-point) + ;; ("R" . hlint-refactor-refactor-buffer)) :hook (haskell-mode . hlint-refactor-mode)) #+end_src *** Prolog @@ -3238,14 +3241,14 @@ (use-package ein :ensure t :disabled t) #+END_SRC *** Coq - #+BEGIN_SRC emacs-lisp + #+begin_src emacs-lisp :load no (use-package proof-general :ensure t) (use-package company-coq :ensure t :hook (coq-mode . company-coq-mode)) - #+END_SRC + #+end_src *** JSON #+BEGIN_SRC emacs-lisp (use-package json-mode :ensure t) |