Agda static syntax highlighting in VS Code

A static syntax highlighting extension for the Agda programming language.

Features

• Static syntax highlighting of Agda code in Agda files, as well as reStructuredText, Org, Markdown, Typst, and Forester files