From eb94d3e704e69688c735ed6169aca4a7ae44d003 Mon Sep 17 00:00:00 2001
From: Nathan McCarty <nathan@mccarty.io>
Date: Fri, 2 Dec 2022 13:08:37 -0500
Subject: [PATCH] Disable idris2 mode

---
 config.org | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/config.org b/config.org
index 4235052..edf0d17 100644
--- a/config.org
+++ b/config.org
@@ -817,6 +817,14 @@ Configure idris2-mode, which we do manually since it's not yet in doom.
   :config
   (setq idris2-stay-in-current-window-on-compiler-error t))
 #+end_src
+
+Disable company in idris2-mode, it's broken for now
+[[https://github.com/idris-community/idris2-mode/issues/36]]
+#+begin_src emacs-lisp
+(after! idris2-mode
+  :config
+  (setq company-global-modes '(not idris2-mode)))
+#+end_src
 ** Haskell
 Setup formatting
 #+begin_src emacs-lisp