This extension provides support for the Juvix programming language.
You can find the latest version of the juvix-mode on the VSCode extension marketplace. Otherwise, you can launch VS Code Quick Open (CtrlP), paste the following command, and press enter.
ext install heliax.juvix-mode
| Command | Keymap |
|---|---|
| typecheck | Ctrl-k Ctrl-l |
| compile | Ctrl-k Ctrl-c |
| run | Ctrl-k Ctrl-r |
Find out other commands in the Command Pallete.
This extension provides configurations using the VSCode's configuration UI settings.