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.
-
Notifications
You must be signed in to change notification settings - Fork 1
Numbers in Standard ML
License
ProjectSavanna/numbers
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Numbers in Standard ML