aboutsummaryrefslogtreecommitdiffstats
path: root/queries/agda/folds.scm
Commit message (Collapse)AuthorAgeFilesLines
* feat!: drop modules, general refactor and cleanupChristian Clason2025-05-121-4/+0
|
* chore: query formattingPham Huy Hoang2024-01-191-2/+2
|
* add regenerate the treesitterShootingStarDragons2022-08-161-0/+4