idris-community / idris2-lsp

Language Server for Idris2
174Updated last month

Alternatives and similar repositories for idris2-lsp:

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