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-libAssumes you have installed Idris2 and idris2 is in your PATH.
idris2 --install-with-src