aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/agda/highlights.scm
Commit message (Collapse)AuthorAge
* Add support for Agda (#8285)JJ2023-12-16
* agda language support (wip) * improve highlights * disable agda-language-server * minor addendum to documentation * cargo xtask docgen * oh i can just do this neat * minor comment cleanup * upstream updated * imports: missed a spot --------- Co-authored-by: Michael Davis <mcarsondavis@gmail.com>