[WIP] idris2-lsp
Language Server for Idris2.
Refer to the project wiki for editor-specific configurations.
Compile
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.
Configuration options
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) |