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

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

idris2 --install-with-src

Name		Name	Last commit message	Last commit date
Latest commit History 381 Commits
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