Visual Studio Code integration for the Idris 2 language server
Primary LanguageTypeScriptMIT LicenseMIT
No issues in this repository yet.