Skip to content

Idris#

Server#

For more information about the LSP server, check idris2-lsp.

Installation#

For more instructions on how to install manually, check here.

Debugger: Not available#

Available configurations#

lsp-idris2-lsp-path#

Type: string

Default: idris2-lsp

Command to start Idris 2 language server process.


lsp-idris2-lsp-trace-server#

Type: (choice (:tag off messages verbose))

Default: off

Traces the communication between VS Code and the language server.



Last update: October 31, 2024