1. 1. The Juvix project
  2. 2. Changelog
  3. 3. Getting started
    1. 3.1. Quick start
    2. 3.2. Installing dependencies
  5. 4. Juvix Examples
  6. 5. Tutorials
    1. 5.1. NodeJS Interop
  8. 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
  10. 7. Tooling
    1. 7.1. Command line interface
    2. 7.2. Doctor
    3. 7.3. Emacs mode
    4. 7.4. Haskell test suite
  12. 8. Notes
    1. 8.1. Validity predicates
    2. 8.2. Monomorphization
    3. 8.3. Strictly positive data types
  14. 9. About
    1. 9.1. Community

The Juvix Book

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