Awesome
Syntax highlighting for Agda
This repository contains (rudimentary) syntax highlighting for Agda, for use on GitHub.
To make a change to this grammar:
- change
Agda.yml
accordingly (see the documentation of the grammar format), - test your changes on Lightshow,
- generate the
Agda.tmLanguage
file using this script, - commit and push your changes (or send a pull request to this repository),
- wait patiently for the next release and deployment of linguist on GitHub, the changes here will be taken into account automatically.