Add installation instructions to the readme

meraymond2 / idris-vscode

Idris front-end for VS Code

MIT License

59 stars 10 forks source link

Closed meraymond2 closed 3 years ago

meraymond2 commented 3 years ago

Add some more thorough installation instructions to the readme based on feedback.