From 970fe39f4c9db393d2d1578f9d54ed4b586cfb28 Mon Sep 17 00:00:00 2001
From: ShootingStarDragons <ShootingStarDragons@protonmail.com>
Date: Mon, 11 Jul 2022 23:05:32 +0800
Subject: feat(agda): add support for agda

---
 lua/nvim-treesitter/parsers.lua | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'lua')

diff --git a/lua/nvim-treesitter/parsers.lua b/lua/nvim-treesitter/parsers.lua
index 5d9e74c59..82f09c6e8 100644
--- a/lua/nvim-treesitter/parsers.lua
+++ b/lua/nvim-treesitter/parsers.lua
@@ -44,6 +44,15 @@ local list = setmetatable({}, {
   end,
 })
 
+list.agda = {
+  install_info = {
+    url = "https://github.com/AusCyberman/tree-sitter-agda",
+    branch = "master",
+    files = { "src/parser.c", "src/scanner.cc" },
+  },
+  filetype = "agda",
+  maintainers = { "@AusCyberman" },
+}
 list.qmljs = {
   install_info = {
     url = "https://github.com/yuja/tree-sitter-qmljs",
-- 
cgit v1.2.3-70-g09d2