diff options
| author | jao <jao@gnu.org> | 2021-04-01 17:14:09 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2021-04-01 17:14:09 +0100 |
| commit | 0d59d162c58728b28dd7a5441c2e7461259403c6 (patch) | |
| tree | 586e3b3557cc253b02e611db46e89f472ebba48a /init.org | |
| parent | 42a32586a4f300515fc261499b07e09bba9e5ca6 (diff) | |
| download | elibs-0d59d162c58728b28dd7a5441c2e7461259403c6.tar.gz elibs-0d59d162c58728b28dd7a5441c2e7461259403c6.tar.bz2 | |
idris mode config
Diffstat (limited to 'init.org')
| -rw-r--r-- | init.org | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -3158,7 +3158,13 @@ #+end_src *** Idris #+begin_src emacs-lisp - (use-package idris-mode :ensure t) + (use-package idris-mode + :ensure t + :custom ((idris-interpreter-path "idris2") + (idris-pretty-printer-width 80) + (idris-repl-history-file "~/.emacs.d/cache/idris-history.eld") + (idris-stay-in-current-window-on-compiler-error t))) + (jao-define-attached-buffer "^\\*idris.*" 0.4) #+end_src *** Elixir ***** packages |