search

meraymond2 / idris-vscode

Idris front-end for VS Code
MIT License
58 stars 10 forks source link

Add error message for multiple workspaces #73

Closed meraymond2 closed 2 years ago

meraymond2 commented 2 years ago

https://github.com/meraymond2/idris-vscode/issues/70