agda-syntaxSyntax highlighting for Agda Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
Agda static syntax highlighting in VS CodeA static syntax highlighting extension for the Agda programming language. FeaturesStatic syntax highlighting of Agda code in Agda files, as well as reStructuredText, Org, Markdown, Typst, and Forester files. |