summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2021-04-01 17:14:09 +0100
committerjao <jao@gnu.org>2021-04-01 17:14:09 +0100
commit0d59d162c58728b28dd7a5441c2e7461259403c6 (patch)
tree586e3b3557cc253b02e611db46e89f472ebba48a
parent42a32586a4f300515fc261499b07e09bba9e5ca6 (diff)
downloadelibs-0d59d162c58728b28dd7a5441c2e7461259403c6.tar.gz
elibs-0d59d162c58728b28dd7a5441c2e7461259403c6.tar.bz2
idris mode config
-rw-r--r--init.org8
1 files changed, 7 insertions, 1 deletions
diff --git a/init.org b/init.org
index 39df698..53ef5a7 100644
--- a/init.org
+++ b/init.org
@@ -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