Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
vscode-extensions
banacorn
agda-mode
package
vscode-extension-banacorn-agda-mode
Description
agda-mode on VS Code.
Metadata
Install
Version
0.4.7
License
MIT
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/applications/editors/vscode/extensions/default.nix:496
Homepage
https://github.com/banacorn/agda-mode-vscode
Maintainers
1
(1)
Anillc
