You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
helix/runtime
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>
12 months ago
..
grammars Dynamically load grammar libraries at runtime 3 years ago
queries Add support for Agda (#8285) 12 months ago
themes Specify BG and FG cursor colors in Darcula themes (#9002) 12 months ago
tutor Add tutor for match mode (#8751) 12 months ago