Skip to content

Latest commit

 

History

History
30 lines (18 loc) · 1.26 KB

README.md

File metadata and controls

30 lines (18 loc) · 1.26 KB
Raw

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