1.
The Juvix project
2.
Changelog
3.
Quick start
Tutorials
4.
Learn Juvix in minutes
5.
Structuring Juvix projects
6.
Juvix Emacs mode
7.
Juvix VSCode extension
How-to guides
8.
Installing Juvix
9.
Compiling Juvix programs
10.
Judoc: Juvix documentation tool
Explanations
11.
Type theory
12.
Totality checking
❱
12.1.
Termination
12.2.
Strictly positive data types
12.3.
Coverage checking
Reference
13.
Standard library
14.
Language reference
❱
14.1.
Functions
14.2.
Data types
14.3.
Modules
14.4.
Local definitions
14.5.
Control structures
14.6.
Comments
14.7.
Axioms
15.
Example programs
16.
Benchmarks
17.
Tooling
❱
17.1.
Command line interface
17.2.
Doctor
17.3.
Emacs mode
17.4.
Haskell test suite
18.
Judoc reference
About
19.
Community
20.
Contributing
21.
License
Light
Rust
Coal
Navy
Ayu
The Juvix Book
Totality checking