Flakes
Categories
Options
Packages
Sign in
MyNixOS
packages
vscode-extensions
banacorn
package-set
vscode-extensions.banacorn
Showing entries 1-1 out of 1.
vscode-extension-banacorn-agda-mode
Nix package
applications/editors/vscode
Agda-mode on VS Code
Previous
1
Next
