diff --git a/lockfile.json b/lockfile.json index 245078467..9f35244de 100644 --- a/lockfile.json +++ b/lockfile.json @@ -3,7 +3,7 @@ "revision": "f21f13afe0410311be1f78959a25aee393c569c9" }, "agda": { - "revision": "80ea622cf952a0059e168e5c92a798b2f1925652" + "revision": "eb2687164a4d98eb16bfaee3880afa81ff498d97" }, "apex": { "revision": "e63bcdcc26ae808b3fe79dfb8fa61bebdb95bda4" diff --git a/lua/nvim-treesitter/parsers.lua b/lua/nvim-treesitter/parsers.lua index 253cfb7fd..75ca59436 100644 --- a/lua/nvim-treesitter/parsers.lua +++ b/lua/nvim-treesitter/parsers.lua @@ -85,8 +85,8 @@ list.ada = { list.agda = { install_info = { - url = "https://github.com/AusCyberman/tree-sitter-agda", - files = { "src/parser.c", "src/scanner.cc" }, + url = "https://github.com/tree-sitter/tree-sitter-agda", + files = { "src/parser.c", "src/scanner.c" }, }, maintainers = { "@Decodetalkers" }, } diff --git a/queries/agda/highlights.scm b/queries/agda/highlights.scm index 7a4e954e8..a5c42c0a8 100644 --- a/queries/agda/highlights.scm +++ b/queries/agda/highlights.scm @@ -62,7 +62,6 @@ "infixl" "infixr" "record" - (ARROW) ] @keyword