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