Geeks
agda
/
agda-language-server
Language Server for Agda
Primary Language
Haskell
MIT License
MIT
agda-language-server GitHub
Markdown
Readme
13
Issues
100
Stargazers
8
Watchers
Watchers
ahlinc
Ukraine, Kyiv
banacorn
Taipei, Taiwan
eemailme
jespercockx
TU Delft
jhcloos
L-TChen
Institute of Information Science, Academia Sinica
MatthewDaggitt
quewean
tomhoule
@grafbase