Language Server for Idris2.
Refer to the project wiki for editor-specific configurations.
To compile idris2-lsp you need Idris2 from the master branch and you also need the idris2api. See the install guide how to build the idris2api.
NOTE: The version of the Idris2 compiler available as submodule is the most recent tested version.
Server options that can be set via the initializationOptions object in the initialization message:
| Option key | Type | Description |
|---|---|---|
logFile |
string |
Absolute location of the log file for the server (default: stderr) |
longActionTimeout |
number |
Timeout in ms for long actions, e.g. expression search (default: 5000) |