diff options
| author | jao <jao@gnu.org> | 2021-03-24 04:05:06 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2021-03-24 04:05:06 +0000 |
| commit | 27afc59acafa1ae67df0b816d8f08c2f53294aec (patch) | |
| tree | 1655639b069be2881424d657c76bea48528108a9 | |
| parent | a919958ee05322eb39dc11c43024635590993a44 (diff) | |
| download | elibs-27afc59acafa1ae67df0b816d8f08c2f53294aec.tar.gz elibs-27afc59acafa1ae67df0b816d8f08c2f53294aec.tar.bz2 | |
welcome dependent types
| -rw-r--r-- | init.org | 9 |
1 files changed, 7 insertions, 2 deletions
@@ -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 |