/idris-vscode

Idris front-end for VS Code

Primary LanguageTypeScriptMIT LicenseMIT

Stargazers