swr1bm86 / vscode-idris

Idris for Visual Studio Code
106Updated 2 years ago

Alternatives and similar repositories for vscode-idris:

Users that are interested in vscode-idris are comparing it to the libraries listed below