-
Commands/tasks for:
- typecheck (ctrl+c ctrl+l)
- compile (ctrl+c ctrl+c)
- eval (ctrl+c ctrl+r)
- html
- internal parse
- internal scope
-
Context menu (right-click) showing:
- Juvix submenu
- typecheck
- compile
- eval
- Juvix submenu
-
Problem matchers provider:
- compiler errors
-
IDE Features:
- semantic syntax highlighting
- snippets
- go to definition (not for stdlib symbols)
- user configuration
- go to implementation
- find all references
- types on hover
- documentation hover
- highlight related
- code completion
- workspace symbol search
- hints for types and parameter names