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

The Juvix Book

Validity predicates