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

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