Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>Idris 2 Language SupportNew to Visual Studio Code? Get it now.
Idris 2 Language Support

Idris 2 Language Support

Nava

|
1,125 installs
| (0) | Free
Idris 2 client for idris2-lsp
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

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.

Features

  • 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)

Requirements

  • Idris 2 LSP

Extension Settings

  • Auto-restart LSP
  • Auto-save before code actions

Known Issues

Release Notes

0.1.2

  • Added REPL terminal

0.1.1

  • Added expression evaluation on hover

0.1.0

  • Initial release

Acknowledgments

  • Idris 2 Language Server
  • The syntaxes for .idr, .ipkg, and .lidr files were based on idris-vscode's syntax files. License information
  • The Idris logo used for this extension was obtained here. License information
  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft