From 27afc59acafa1ae67df0b816d8f08c2f53294aec Mon Sep 17 00:00:00 2001
From: jao <jao@gnu.org>
Date: Wed, 24 Mar 2021 04:05:06 +0000
Subject: welcome dependent types

---
 init.org | 9 +++++++--
 1 file changed, 7 insertions(+), 2 deletions(-)

(limited to 'init.org')

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
-- 
cgit v1.2.3