Idris 2 Language Support for Visual Studio Code
This extension provides editor support for the Language Server for Idris2.
See INSTALL.md for brief instructions on how to build and install.
- Language client for idris2-lsp
- Expression evaluation on hover (expression needs to be selected)
- Code Actions (CTRL + .)
- Integrated REPL terminal
- Some quality of life settings (disabled by default)
- Auto-restart LSP
- Auto-save before code actions
- Added expression evaluation on hover