vscode-extensions.banacorn.agda-mode

agda-mode on VS Code

Name

vscode-extension-banacorn-agda-mode

Homepage

• https://github.com/banacorn/agda-mode-vscode

Version

0.6.7

License

• MIT License

Maintainers

• Anillc

Defined

Source