Home

Awesome

Syntax highlighting for Agda

This repository contains (rudimentary) syntax highlighting for Agda, for use on GitHub.

To make a change to this grammar: