choukh / agda-mode-vscode Goto Github PK
View Code? Open in Web Editor NEWThis project forked from banacorn/agda-mode-vscode
agda-mode on VS Code
Home Page: https://marketplace.visualstudio.com/items?itemName=banacorn.agda-mode
License: MIT License