Explain how to install this

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

Explain how to install this #44

Closed turion closed 3 years ago

turion commented 3 years ago

There is no installation instructions or links to a prebuilt *.vsix, it seems?

michaelmesser commented 3 years ago

You install it in VSCode. Type "Install Extensions" into the command palette. Search for "idris language". Make sure you install the one by meraymond.

meraymond2 commented 3 years ago

Is there anything further you'd like me to detail in the readme? It mentions that you need to install Idris separately, but it's hidden somewhere in the middle.

I could also add a section about installing and running it from the repo, since that can be useful for debugging.

Could probably also add the vsix files to the Github releases.

turion commented 3 years ago

I'd recommend simply linking to https://marketplace.visualstudio.com/items?itemName=meraymond.idris-vscode and pointing out that it's not the one by zjhmale.

meraymond2 commented 3 years ago

I've updated the readme with some more thorough installation instructions.