Creating the Natural Numbers From First Principles
Turns out, natural numbers can be constructed from two basic objects. First, we start with the “smallest” member of the naturals, called
Zero. Then we have a functionSucc(the successor function) that takes a natural and returns the next natural.
Update (2015-01-31): The solutions to the exercises.
