From e6caaef9e6071c2d8e51e6e0939788956bb51d26 Mon Sep 17 00:00:00 2001
From: Henrik Lissner <git@henrik.io>
Date: Thu, 8 May 2025 01:17:54 -0400
Subject: [PATCH] fix(agda): remove defunct tree-sitter.el support

---
 modules/lang/agda/config.el | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/modules/lang/agda/config.el b/modules/lang/agda/config.el
index fc6a6d863..1a9fe07ad 100644
--- a/modules/lang/agda/config.el
+++ b/modules/lang/agda/config.el
@@ -11,11 +11,7 @@
   (set-lookup-handlers! 'agda2-mode
     :definition #'agda2-goto-definition-keyboard)
 
-  (when (modulep! +tree-sitter)
-    (set-tree-sitter-lang! 'agda2-mode 'agda)
-    (add-hook! '(agda-mode-local-vars-hook
-                 agda2-mode-local-vars-hook)
-               :append #'tree-sitter!))
+  ;; TODO: agda2-ts-mode
 
   (map! :map agda2-mode-map
         :localleader