diff --git a/config.org b/config.org
index 2957ddf..4ed0747 100644
--- a/config.org
+++ b/config.org
@@ -3844,7 +3844,7 @@ The Doom module is very outdated, so I'll be overriding it.
         idris-repl-show-repl-on-startup nil ; Don't show repl on startup
         )
 
-  (add-hook! idris-mode :append #'lsp!)
+  ;; (add-hook! idris-mode :append #'lsp!)
 
   (set-repl-handler! 'idris-mode (cmd! (idris-repl-buffer)))
   (set-lookup-handlers! 'idris-mode