Agda syntax highlighting in VS Code

A simple syntax highlighting extension for the Agda programming language.

Features

• Highlight Agda syntax in basic Agda, Literate Agda (LaTeX), and Markdown files.