Idris 2 Language Server Extension
A Visual Studio Code extension that enables the Idris 2 language server on Idris source files.
In order to simplify testing at this early stage, the extension was made standalone by taking the Idris syntax files from meraymond2/idris-vscode.
Requirements
idris2-lsp must be available locally. Refer to the Idris 2 language server repository for instructions.
Installing the extension
The idris2-lsp extension can be installed from the Visual Studio Marketplace.
It can also be built and installed locally from the checkout directory with:
$ vsce package
$ code --install-extension idris2-lsp-${version}.vsix
Configuring the extension
To configure the command used to start the Idris language server, idris2-lsp by default, go to Settings and search for idris2 .
Debugging the extension
- Run
npm install in this folder
- Open VS Code on this folder
- Press
Ctrl+Shift+D / Cmd+Shift+D to reveal the everything Debug viewlet
- Select
Launch Client from the drop down
- Run the launch config
| |