JJ c56cd6ee8b

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>

2023-12-16 05:29:26 +01:00

..

highlights.scm

Add support for Agda (#8285)

2023-12-16 05:29:26 +01:00