From 8758abeb4d7c0fb501226d584cd45a1c6836f535 Mon Sep 17 00:00:00 2001
From: Serhii Khoma <srghma@gmail.com>
Date: Thu, 16 Jan 2025 23:34:37 +0700
Subject: feat(idris): add parser and queries (#7274)

---
 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 d2259c9bb..61c0505b7 100644
--- a/lua/nvim-treesitter/parsers.lua
+++ b/lua/nvim-treesitter/parsers.lua
@@ -1051,6 +1051,15 @@ list.idl = {
   maintainers = { "@cathaysia" },
 }
 
+list.idris = {
+  install_info = {
+    url = "https://github.com/kayhide/tree-sitter-idris",
+    files = { "src/parser.c", "src/scanner.c" },
+  },
+  filetype = "idris2",
+  maintainers = { "@srghma" },
+}
+
 list.ini = {
   install_info = {
     url = "https://github.com/justinmk/tree-sitter-ini",
-- 
cgit v1.2.3-70-g09d2