Total downloads
134
etairi.vscode-idris2
Idris 2
7d gain
4
Rolling weekly delta
Rating
-
/ 5
0 reviews
Version
0.1.0
Latest published
Activity
Extension trends
Manifest
Metadata
- Namespace
- etairi
- Name
- vscode-idris2
- License
- MIT
- Homepage
- https://github.com/etairi/vscode-idris2#readme
- Repository
- https://github.com/etairi/vscode-idris2.git
- Reviews
- 0
Taxonomy
Categories
Description
Idris 2 language support: the compiler's errors and warnings, types and documentation on hover, go to definition, completion, semantic highlighting, inlay hints, evaluation of expressions, interactive editing with holes (case split, proof search, generate definition and more) and a list of holes, syntax highlighting, editing support, snippets and toolchain detection.
Archive