Juvix Plugin for VSCode

This extension provides support for the Juvix programming language.

Quick start

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

Juvix main commands

Find out other commands in the Command Pallete.

Configuration

This extension provides configurations using the VSCode's configuration UI settings.