Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>agda-syntaxNew to Visual Studio Code? Get it now.
agda-syntax

agda-syntax

Fredrik Bakke

|
3,245 installs
| (1) | Free
Syntax highlighting for Agda
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

Agda static syntax highlighting in VS Code

Visual Studio Marketplace Version Visual Studio Marketplace Downloads

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
  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft