search

meraymond2 / idris-vscode

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

Fix workspace bug #81

Closed meraymond2 closed 2 years ago