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 by running python3 yaml-to-plist.py Agda.yml Agda.tmLanguage. You will need Python 3 with the pyyaml library installed.
• 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.