aboutsummaryrefslogtreecommitdiff
path: root/runtime/queries/agda
Commit message (Expand)AuthorAge
* Add support for Agda, update default Nim LSP23.10.1JJ2023-11-01