summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2021-03-24 04:05:06 +0000
committerjao <jao@gnu.org>2021-03-24 04:05:06 +0000
commit27afc59acafa1ae67df0b816d8f08c2f53294aec (patch)
tree1655639b069be2881424d657c76bea48528108a9
parenta919958ee05322eb39dc11c43024635590993a44 (diff)
downloadelibs-27afc59acafa1ae67df0b816d8f08c2f53294aec.tar.gz
elibs-27afc59acafa1ae67df0b816d8f08c2f53294aec.tar.bz2
welcome dependent types
-rw-r--r--init.org9
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