idris-community / idris2-lspLinks

Language Server for Idris2
176Updated 3 months ago

Alternatives and similar repositories for idris2-lsp

Users that are interested in idris2-lsp are comparing it to the libraries listed below

Sorting: