2 results found Sort:

banacorn
agda-mode-vscode banacorn
37
163
mit
11
agda-mode on VS Code
agda vscode reasonml agda-mode vscode-extension
Created 2020-01-25
1,150 commits to master branch, last one 6 months ago
agda
agda-language-server agda
17
95
mit
9
Language Server for Agda
agda agda-mode language-server-protocol
Created 2017-08-18
234 commits to master branch, last one 6 months ago