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