peano-axioms
| Crates.io | peano-axioms |
| lib.rs | peano-axioms |
| version | 0.1.0 |
| source | src |
| created_at | 2024-04-09 19:09:37.67227 |
| updated_at | 2024-04-09 19:09:37.67227 |
| description | Type-level numbers based on an extension of the Peano axioms. |
| homepage | |
| repository | https://github.com/Spartan2909/peano-axioms |
| max_upload_size | |
| id | 1202731 |
| size | 45,949 |
Caleb Robson (Spartan2909)
documentation
https://docs.rs/peano-axioms
README
peano-axioms
peano-axioms is a crate for type-level arithmetic based on an extension of the Peano axioms.
Examples
use peano_axioms::{One, Two, Three, Six, Product};
assert_eq!(Product::<Two, Three>::VALUE, Six::VALUE);
assert_eq!(Difference::<Three, Two>::VALUE, One::VALUE);
// Fails to compile
// assert_eq!(Difference::<Two, Three>::VALUE, One::VALUE);