Giters

mattpolzin / LSP-lib

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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.

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

Languages

Language:Idris 100.0%