summaryrefslogtreecommitdiff
path: root/queries/agda
AgeCommit message (Expand)Author
2022-10-15highlights: use @preproc where appropriateObserverOfTime
2022-08-27feat(agda): better highlightShootingStarDragons
2022-08-16fix wrong parseShootingStarDragons
2022-08-16add regenerate the treesitterShootingStarDragons
2022-08-16add highlightsShootingStarDragons