diff options
| author | JJ | 2023-12-16 04:29:26 +0000 |
|---|---|---|
| committer | GitHub | 2023-12-16 04:29:26 +0000 |
| commit | c56cd6ee8b9312a620d4fc38eea90a49613f5d72 (patch) | |
| tree | ce90625c3fd89600368114697d7f9af0b7173d07 /runtime/queries/_javascript | |
| parent | 914c83420b9901f596bf771ad5f20495de9a070c (diff) | |
Add support for Agda (#8285)
* 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>
Diffstat (limited to 'runtime/queries/_javascript')
0 files changed, 0 insertions, 0 deletions