Geeks
permui
/
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
Stargazers
No one’s star this repository yet.