Visual Studio Code integration for the Idris 2 language server
Primary LanguageTypeScriptMIT LicenseMIT