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