To install Juvix, you can download its sources using Git from the Github repository. Then, the program can be downloaded and installed with the following commands. You will need to have Stack installed.
git clone --recursive https://github.com/anoma/juvix.git cd juvix stack install
If the installation succeeds, you must be able to run the Juvix command from any location.
To get the complete list of commands, please run
Create a new package:
Compile a source file into an executable:
juvix compile path/to/source.juvix
Compile a source file into a WebAssembly binary:
juvix compile -t wasm path/to/source.juvix
Typecheck a source file:
juvix typecheck path/to/source.juvix
Generate HTML representations of a source file and its imports:
juvix html --recursive path/to/source.juvix