Giters
agda
/
agda-language-server
Language Server for Agda
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
96
Watchers:
9
Issues:
13
Forks:
17
agda/agda-language-server Watchers
Andrew Hlynskyi
ahlinc
Ting-gian LUA
banacorn
eemailme
Jesper Cockx
jespercockx
James Cloos
jhcloos
Liang-Ting Chen
L-TChen
MatthewDaggitt
quewean
Tom Houlé
tomhoule