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
No issues in this repository yet.