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

  • Command line Interface
  • Writting Juvix programs with Emacs Mode
  • Test Suite
  • Doctor