GitHub - zjhmale/vscode-idris: Idris for Visual Studio Code

Idris for Visual Studio Code. Contribute to zjhmale/vscode-idris development by creating an account on GitHub.
github.com github.com