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