https://github.com/bamboo/idris2-lsp-vscode

Visual Studio Code integration for the Idris 2 language server
https://github.com/bamboo/idris2-lsp-vscode

Last synced: 10 days ago
JSON representation

Visual Studio Code integration for the Idris 2 language server

• Host: GitHub
• URL: https://github.com/bamboo/idris2-lsp-vscode
• Owner: bamboo
• License: mit
• Created: 2021-04-26T19:08:30.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-08-04T14:41:56.000Z (3 months ago)
• Last Synced: 2024-08-04T16:34:08.986Z (3 months ago)
• Language: TypeScript
• Size: 116 KB
• Stars: 28
• Watchers: 6
• Forks: 10
• Open Issues: 10
• Metadata Files:
  • Readme: README.md
  • Changelog: CHANGELOG.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Idris 2 Language Server Extension

A Visual Studio Code extension that enables the [Idris 2 language server](https://github.com/idris-community/idris2-lsp) 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](https://github.com/meraymond2/idris-vscode).

## Requirements

`idris2-lsp` must be available locally. Refer to the [Idris 2 language server repository](https://github.com/idris-community/idris2-lsp) for instructions.

## Installing the extension

The `idris2-lsp` extension can be installed from the [Visual Studio Marketplace](https://marketplace.visualstudio.com/items?itemName=bamboo.idris2-lsp).

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