/idris2-lsp-vscode

Visual Studio Code integration for the Idris 2 language server

Primary LanguageTypeScriptMIT LicenseMIT

No issues in this repository yet.