In class, we shall discuss the following three modules.
0 z 1 (s z) 2 (s (s z)) 3 (s (s (s z))) 4 (s (s (s (s z))))and so on. The module peano.mod contains the definition of this data structure and various predicates for computing on these numbers. The file peano.ses contains an example session using this code.