summaryrefslogtreecommitdiff
path: root/queries/agda
AgeCommit message (Collapse)Author
2022-10-15highlights: use @preproc where appropriateObserverOfTime
2022-08-27feat(agda): better highlightShootingStarDragons
Add highlight for bool add highlight for function Log: better highlight
2022-08-16fix wrong parseShootingStarDragons
change maintainers
2022-08-16add regenerate the treesitterShootingStarDragons
2022-08-16add highlightsShootingStarDragons