Repository navigation

LSP-lib

Public

About

A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.

BSD-3-Clause license

Custom properties

5 stars

5 watching

Report repository

Name		Name	Last commit message	Last commit date
src		src
.gitattributes		.gitattributes
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
flake.lock		flake.lock
flake.nix		flake.nix
lsp-lib.ipkg		lsp-lib.ipkg

Repository files navigation

LSP-lib

A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.

Installation with Pack (Recommended)

pack install lsp-lib

Manual Installation

Assumes you have installed Idris2 and idris2 is in your PATH.

idris2 --install-with-src

About

A universal library that models the Language Server Protocol in Idris2 and aims to provide scaffolding for language server implementations.

BSD-3-Clause license

Custom properties

5 stars

5 watching

Report repository

Releases

Packages

Contributors

Languages