diff options
Diffstat (limited to 'modules/emacs')
| -rw-r--r-- | modules/emacs/README.org | 7 | ||||
| -rw-r--r-- | modules/emacs/emacs.nix | 10 |
2 files changed, 12 insertions, 5 deletions
diff --git a/modules/emacs/README.org b/modules/emacs/README.org index ff1254b..a82a5e2 100644 --- a/modules/emacs/README.org +++ b/modules/emacs/README.org @@ -255,6 +255,13 @@ Try to use the package. (use-package markdown-mode :mode "\\.md\\'") #+end_src +** Coq +#+begin_src emacs-lisp :tangle yes +(use-package proof-general + :mode "\\.md\\'") +(use-package company-coq + :hook (coq-mode . company-coq-mode)) +#+end_src * Personal ** Org mode #+begin_src emacs-lisp :tangle yes diff --git a/modules/emacs/emacs.nix b/modules/emacs/emacs.nix index f86e364..a43e38b 100644 --- a/modules/emacs/emacs.nix +++ b/modules/emacs/emacs.nix @@ -1,14 +1,14 @@ { pkgs, inputs, ...}: let - outside-emacs = [ - (pkgs.python3.withPackages (p: (with p; [ + outside-emacs = with pkgs; [ + (python3.withPackages (p: (with p; [ python-lsp-server python-lsp-ruff pylsp-mypy ]))) - pkgs.nil - pkgs.rust-analyzer - pkgs.parallel + nil + rust-analyzer + parallel ]; org-tangle-elisp-blocks = (pkgs.callPackage ./org.nix {inherit pkgs; from-elisp = inputs.from-elisp;}).org-tangle ({ language, flags } : let is-elisp = (language == "emacs-lisp") || (language == "elisp"); |