Idris 2
Idris 2 language support
LanguagesLanguage servers
How to install
With Forge Super installed, the button above opens the app on this extension, where you press Install. Nothing is installed until you do.
You can also open the Extensions panel in the app and search for Idris 2. The extension's id is idris2.
Don't have Forge Super yet? Download it here.
README
From the extension's repository, written by its authors and not by Mentenaz. See the source.
Idris 2 LSP support for the Zed editor.
Currently very barebones Zed extension for Idris 2 language support.
- Uses the Idris 2 treesitter grammar from https://github.com/kayhide/tree-sitter-idris
- Expects the Idris 2 lsp server to be installed and available in the PATH as
idris2-lsp