rspeano
Compile-time construction of Peano axioms-based natural numbers and addition, multiplication, and exponentiation defined through them within
Star
Fork
Watch
Open Merged Closed
New