Geeks
jiangsy
/
agda-mode-vscode
agda-mode on VS Code
Primary Language
ReScript
MIT License
MIT
agda-mode-vscode Home Page
agda-mode-vscode GitHub
Markdown
Readme
0
Issues
0
Stargazers
0
Watchers
Watchers
No one’s watching this repository yet.