bamboo / idris2-lsp-vscode

Visual Studio Code integration for the Idris 2 language server
MIT License
29 stars 13 forks source link

Change usage steps in README #2

Closed alexhumphreys closed 3 years ago

alexhumphreys commented 3 years ago

Signed-off-by: Alex Humphreys alex.humphreys@here.com

bamboo commented 3 years ago

The repository was missing the .vscode/launch.json file. The instructions should work now. Could you try again and report, @alexhumphreys?

alexhumphreys commented 3 years ago

Those extra files solved it, this shouldn't be needed anymore.