Geeks
editor-plugins
/
idris-lsp
Idris language server protocol
Primary Language
Haskell
Other
NOASSERTION
idris-lsp GitHub
Markdown
Readme
0
Issues
5
Stargazers
3
Watchers
Watchers
laughedelic
Oslo, Norway
jhcloos
zjhmale