Skip to content

Dev Notes: 2017_01_09

Dave Hudson edited this page Jan 9, 2017 · 5 revisions

Implementing Integers

The first few commits started with handling natural numbers. Today brings in integers.

Integers are built on top of the natural numbers, but have a "negative" flag that allows them to express negative quantities too. The code is actually very simple as a consequence of delegating all of the numeric operations to an embedded natural number. This same approach will also be used to introduce rational and real numbers later.

See Also

Dev Notes: 2017_01_08

Clone this wiki locally