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