diff options
| author | ShootingStarDragons <ShootingStarDragons@protonmail.com> | 2022-07-11 23:10:26 +0800 |
|---|---|---|
| committer | Stephan Seitz <stephan.seitz@fau.de> | 2022-08-16 11:38:50 -0700 |
| commit | 25baab9f595fea787d534eb56f958741d16bd732 (patch) | |
| tree | f3b50567540585854475afb6259cc24ced8c3e92 /queries | |
| parent | 970fe39f4c9db393d2d1578f9d54ed4b586cfb28 (diff) | |
add regenerate the treesitter
Diffstat (limited to 'queries')
| -rw-r--r-- | queries/agda/folds.scm | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/queries/agda/folds.scm b/queries/agda/folds.scm new file mode 100644 index 00000000..e3258efb --- /dev/null +++ b/queries/agda/folds.scm @@ -0,0 +1,4 @@ +[ + (record) + (module) +] @fold |