aboutsummaryrefslogtreecommitdiffstats
path: root/queries/agda
diff options
context:
space:
mode:
authorShootingStarDragons <ShootingStarDragons@protonmail.com>2022-07-11 23:10:26 +0800
committerStephan Seitz <stephan.seitz@fau.de>2022-08-16 11:38:50 -0700
commit25baab9f595fea787d534eb56f958741d16bd732 (patch)
treef3b50567540585854475afb6259cc24ced8c3e92 /queries/agda
parentfeat(agda): add support for agda (diff)
downloadnvim-treesitter-25baab9f595fea787d534eb56f958741d16bd732.tar
nvim-treesitter-25baab9f595fea787d534eb56f958741d16bd732.tar.gz
nvim-treesitter-25baab9f595fea787d534eb56f958741d16bd732.tar.bz2
nvim-treesitter-25baab9f595fea787d534eb56f958741d16bd732.tar.lz
nvim-treesitter-25baab9f595fea787d534eb56f958741d16bd732.tar.xz
nvim-treesitter-25baab9f595fea787d534eb56f958741d16bd732.tar.zst
nvim-treesitter-25baab9f595fea787d534eb56f958741d16bd732.zip
add regenerate the treesitter
Diffstat (limited to 'queries/agda')
-rw-r--r--queries/agda/folds.scm4
1 files changed, 4 insertions, 0 deletions
diff --git a/queries/agda/folds.scm b/queries/agda/folds.scm
new file mode 100644
index 000000000..e3258efb9
--- /dev/null
+++ b/queries/agda/folds.scm
@@ -0,0 +1,4 @@
+[
+ (record)
+ (module)
+] @fold