Split the project into a reusable component library `LSP-lib` and an implementation depending on the library

idris-community / idris2-lsp

Language Server for Idris2

BSD 3-Clause "New" or "Revised" License

164 stars 33 forks source link

Split the project into a reusable component library `LSP-lib` and an implementation depending on the library #202

Closed Russoul closed 1 year ago

Russoul commented 1 year ago

The change mostly consists of file deletions on the side of idris2-lsp. Additionally, I renamed the package file to idris2-lsp.ipkg and submitted a PR to pack database collection to change the name under which LSP is distributed from lsp to idris2-lsp. The intension is to preempt addition of lsp servers for other programming languages in the future.

andorp commented 1 year ago

I don't mind having this split.