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

The Juvix Book