An attempt at defining Peano arithmetic for all numeric types
Posted: 10 years ago by Eirik Tsarpalis
Generic Numeric Literals and Compile time Peano arithmetic
Posted: 7 years ago by Nick Palladinos