elpi-lspversion Documentation on ocaml.org
A language server (LSP) for Elpi
elpi-lsp reports the syntax errors, the scoping and type errors of an Elpi file, and gives the type of sub-expressions on hover and the definition point of symbols.
| Authors | Claudio Sacerdoti Coen and Enrico Tassi |
|---|---|
| License | LGPL-2.1-or-later |
| Homepage | https://github.com/LPCIC/elpi |
| Issue Tracker | https://github.com/LPCIC/elpi/issues |
| Maintainer | Enrico Tassi <enrico.tassi@inria.fr> |
| Dependencies | |
| Source [http] | https://github.com/LPCIC/elpi/releases/download/v4.0.0/elpi-4.0.0.tbz sha256=931ef3eb0d6d93fd0661ef93718b0c4e44c1a550f74a864e83f6f57c408b2514 sha512=cfb660a557c7b14149db92cc44e9434a91d4b691e4c0333768d9b914d0952d7cefea5dc6f6a3ba1c38670acf95a5bf8e46bef027a1c6613449f224993f7aa303 |
No package is dependent
