aboutsummaryrefslogtreecommitdiffstats
path: root/queries/agda
Commit message (Expand)AuthorAgeFilesLines
* feat: more comment injectionsRiley Bruins2024-06-151-0/+2
* feat: more `@keyword.type` capturesRiley Bruins2024-05-011-1/+2
* chore: query formattingPham Huy Hoang2024-01-192-28/+33
* feat!: align standard captures with upstreamChristian Clason2024-01-191-3/+3
* chore: switch agda upstreamShootingStarDragons2023-09-181-1/+0
* feat: @spell on commentsJaehwang Jung2023-09-121-1/+1
* highlights: use @preproc where appropriateObserverOfTime2022-10-151-1/+1
* feat(agda): better highlightShootingStarDragons2022-08-271-3/+4
* fix wrong parseShootingStarDragons2022-08-161-1/+1
* add regenerate the treesitterShootingStarDragons2022-08-161-0/+4
* add highlightsShootingStarDragons2022-08-161-0/+81