fix some stuff

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");