/agda-mode-vscode

agda-mode on VS Code

Primary LanguageReScriptMIT LicenseMIT

Stargazers