issues
search
meraymond2
/
idris-vscode
Idris front-end for VS Code
MIT License
58
stars
10
forks
source link
Update readme to clarify extensions
#89
Closed
meraymond2
closed
1 year ago