language-agda

Agda language support for VSCode, based on https://github.com/mokus0/Agda.tmbundle

Screenshot

Features

• Syntax highlighting for Agda
• Snippets for common unicode characters (η,λ, etc.)

Contributions

Bug reports, pull requests, feature requests are welcome