Snippets tagged numbers
-
Peano constructs
Here we define Peano arithmetic using F# abstract data types.
5 people like this
Like the snippet!Posted: 11 years ago by Daniil
-
Enumerating the Rationals
How to enumerate the rational numbers without duplication using a Calkin–Wilf tree.
4 people like this
Like the snippet!Posted: 4 years ago by Brian Berns