2 results found Sort:

banacorn
agda-mode-vscode banacorn
40
170
mit
10
agda-mode on VS Code
agda vscode reasonml agda-mode vscode-extension
Created 2020-01-25
1,234 commits to master branch, last one a day ago
agda
agda-language-server agda
17
102
mit
8
Language Server for Agda
agda agda-mode language-server-protocol
Created 2017-08-18
235 commits to master branch, last one 18 days ago