1.
The Juvix project
2.
Changelog
3.
Getting started
3.1.
Quick start
3.2.
Installing dependencies
4.
Juvix Examples
5.
Tutorials
5.1.
NodeJS Interop
6.
Language reference
6.1.
Comments
6.2.
Axiom
6.3.
Compile block
6.4.
Module
6.5.
Data type
6.6.
Function
6.7.
Foreign block
6.8.
Termination
7.
Tooling
7.1.
Command line interface
7.2.
Doctor
7.3.
Emacs mode
7.4.
Haskell test suite
8.
Notes
8.1.
Validity predicates
8.2.
Monomorphization
8.3.
Strictly positive data types
9.
About
9.1.
Community
Light (default)
Rust
Coal
Navy
Ayu
The Juvix Book
Command line Interface
Writting Juvix programs with Emacs Mode
Test Suite
Doctor