1 files changed, 7 insertions, 2 deletions
diff --git a/init.org b/init.org
index 84c1b25..8bcd320 100644
--- a/init.org
+++ b/init.org
@@ -3369,6 +3369,10 @@
         ;; (add-hook 'erlang-mode-hook #'lsp)
         )
     #+end_src
+*** Idris
+    #+begin_src emacs-lisp
+      (use-package idris-mode :ensure t)
+    #+end_src
 *** Elixir
 ***** packages
       #+begin_src emacs-lisp
@@ -3606,8 +3610,9 @@
       (use-package ein :ensure t :disabled t)
       #+END_SRC
 *** Coq
-    #+BEGIN_SRC emacs-lisp :tangle no :load no
-      (load (expand-file-name "pg/generic/proof-site" jao-local-lisp-dir))
+    #+BEGIN_SRC emacs-lisp
+      (use-package proof-general
+        :ensure t)
 
       (use-package company-coq
         :ensure t