juvix/docs/SUMMARY.md

Summary

• The Juvix project
• Changelog
• Quick start

Tutorials

• Learn Juvix in minutes
• Structuring Juvix projects
• Juvix Emacs mode
• Juvix VSCode extension

How-to guides

• Installing Juvix
• Compiling Juvix programs
• Judoc: Juvix documentation tool

Explanations

• Type theory
• Totality checking
  • Termination
  • Strictly positive data types
  • Coverage checking

Reference

• Standard library
• Language reference
  • Project
  • Functions
  • Infix operators
  • Data types
  • Modules
  • Statements
  • Local definitions
  • Control structures
  • Comments
  • Axioms
• Example programs
• Benchmarks
• Tooling
  • Command line interface
  • Doctor
  • Emacs mode
  • Haskell test suite
• Judoc reference

About

• Community
• Contributing
• License