search

idris-community / idris2-lsp

Language Server for Idris2
BSD 3-Clause "New" or "Revised" License
163 stars 33 forks source link

Factor out LSP library #142

Open michaelmesser opened 2 years ago

michaelmesser commented 2 years ago

This could be useful to allow people to create LSPs for languages written in Idris.

ShinKage commented 2 years ago

Would we like to provide a complete server or just the LSP message processing. For the former, we may need to rethink and reorganize some modules (I am not particularly fond of having the handlers in the Language.LSP namespace). For the latter, we can already add the Language.LSP.Message namespace with all its modules to the ipkg.