Compile-time construction of Peano axioms-based natural numbers and addition, multiplication, and exponentiation defined through them within Rust. (Mirrored from Codeberg)
at main 78 B view raw
1[package] 2name = "rspeano" 3version = "0.1.0" 4edition = "2024" 5 6[dependencies]