From cc96e1831bc297700f5885c8fc393aca0d0a2c75 Mon Sep 17 00:00:00 2001
From: Evgenii Klimov <eugene.dev@lipklim.org>
Date: Fri, 7 Nov 2025 14:37:51 +0000
Subject: [PATCH] gnu: Add tree-sitter-agda.

* gnu/packages/tree-sitter.scm (tree-sitter-agda): New variable.

Change-Id: I4ba3288e43d84df84504223c85214dadca93b22e
Signed-off-by: Liliana Marie Prikler <liliana.prikler@gmail.com>
---
 gnu/packages/tree-sitter.scm | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/gnu/packages/tree-sitter.scm b/gnu/packages/tree-sitter.scm
index a27d636737d..f0ecdaf408e 100644
--- a/gnu/packages/tree-sitter.scm
+++ b/gnu/packages/tree-sitter.scm
@@ -293,6 +293,16 @@ which will be used as a snippet in origin."
      #:repository-url "https://github.com/briot/tree-sitter-ada"
      #:commit commit)))
 
+(define-public tree-sitter-agda
+  ;; Use a later commit because some tests fail with the v1.3.1 tag.
+  (let ((commit "e8d47a6987effe34d5595baf321d82d3519a8527")
+        (revision "0"))
+    (tree-sitter-grammar
+     "agda" "Agda"
+     "1x06a1c7k5lyw4803h514yibmzizszg8dc6r4wj9gjnr1vw7l7p6"
+     (git-version "1.3.1" revision commit)
+     #:commit commit)))
+
 (define-public tree-sitter-arduino
   (tree-sitter-grammar
    "arduino" "Arduino"