[New package]: idris2_lsp

[ignamartinoli]

Package name

idris2_lsp

Package homepage

https://github.com/idris-community/idris2-lsp

Languages

Idris 2

How is this package distributed?

The package is distributed with its source code in idris-community/idris2-lsp, to be built by the Idris compiler

[williambotman]

Hello! Pull requests are always very welcomed to add new packages. If the distribution of the package is simple, the installation will most likely be so as well. See CONTRIBUTING.md and the API reference for more details! You may also use existing packages as reference.