From 0d59d162c58728b28dd7a5441c2e7461259403c6 Mon Sep 17 00:00:00 2001
From: jao <jao@gnu.org>
Date: Thu, 1 Apr 2021 17:14:09 +0100
Subject: idris mode config

---
 init.org | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

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