diff options
Diffstat (limited to 'init.el')
| -rw-r--r-- | init.el | 26 |
1 files changed, 17 insertions, 9 deletions
@@ -1044,15 +1044,20 @@ https://yannherklotz.com")) :bind (:map eglot-mode-map ("C-c f d" . eglot-format)) :config - (add-to-list 'eglot-server-programs - '(prolog-mode - . ("swipl" "-g" "use_module(library(lsp_server))." "-g" - "lsp_server:main" "-t" "halt" "--" "stdio"))) - (add-to-list 'eglot-server-programs - '(dafny-mode . ("dafny" "server" - "--manual-lemma-induction" - "--warn-missing-constructor-parentheses" - "--warn-shadowing")))) + (when (executable-find "swipl") + (add-to-list 'eglot-server-programs + '(prolog-mode + . ("swipl" "-g" "use_module(library(lsp_server))." "-g" + "lsp_server:main" "-t" "halt" "--" "stdio")))) + (when (executable-find "dafny") + (add-to-list 'eglot-server-programs + '(dafny-mode . ("dafny" "server" + "--manual-lemma-induction" + "--warn-missing-constructor-parentheses" + "--warn-shadowing")))) + (when (executable-find "haskell-language-server-wrapper") + (add-to-list 'eglot-server-programs + '(haskell-mode . ("haskell-language-server-wrapper" "--lsp"))))) (use-package elec-pair :config @@ -1168,6 +1173,9 @@ https://yannherklotz.com")) :config (server-start)) +(use-package nnhackernews + :ensure t) + (setq gc-cons-threshold (* 1024 1024 10)) (setq custom-file (expand-file-name "custom.el" user-emacs-directory)) |