Numbers in Standard ML
Natural numbers, defined via the zero and successor operators.
The unit interval, defined as an infinite stream of bits.
Rational numbers, defined behind an abstract type.
Numbers in Standard ML
Numbers in Standard ML
Natural numbers, defined via the zero and successor operators.
The unit interval, defined as an infinite stream of bits.
Rational numbers, defined behind an abstract type.
Numbers in Standard ML
MIT License