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.