From b66ccaeca082f8098ef00d487f7610360c326f4c Mon Sep 17 00:00:00 2001
From: Henrik Lissner <git@henrik.io>
Date: Sat, 10 Sep 2022 15:01:11 +0200
Subject: [PATCH] fix(agda): tree-sitter compatibility with agda2-mode

Tree-sitter-lang recognized agda-mode, but not agda2-mode.
---
 modules/lang/agda/config.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/modules/lang/agda/config.el b/modules/lang/agda/config.el
index 869b5371e..f0538eabd 100644
--- a/modules/lang/agda/config.el
+++ b/modules/lang/agda/config.el
@@ -12,6 +12,7 @@
     :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!))