Skip to content

You're not viewing the latest version. Click here to go to latest.

Juvix Docs

Strictly positive data types

Initializing search

Juvix
Tutorials
How-to guides
Reference
Explanations
Blog
Packages and Projects

Juvix Docs

Juvix
Juvix
- About
- Overview
- Changelog
- Contributing
Tutorials
Tutorials
How-to guides
How-to guides
- Installing Juvix
- Compiling Juvix programs
Reference
Reference
- Language reference
  Language reference
  - About
  - Functions
  - Builtins
  - Data types
  - Modules
  - Local definitions
  - Control structures
  - Comments
  - Axioms
- Standard library
- Example programs
- Benchmarks
- Tooling
  Tooling
- Judoc reference
- Misc
  Misc
  - LSP support
  - Benchmarks of the new Juvix runtime
Explanations
Explanations
- About
- Totality checking
  Totality checking
  - Termination
Blog
Blog
- Juvix Blog
- Archive
  Archive
  - 2022
- Categories
  Categories
  - implementation-notes
Packages and Projects

Strictly positive data types¶

2023-04-19 2023-04-17 GitHub

Was this page helpful?

Thanks for your feedback!

Thanks for your feedback! Help us improve this page by opening an issue on GitHub.

Comments

Made with 🤍 by the Juvix team - Copyright © Heliax AG