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!))