Add an add function which is terminal

peano.hs

@@ -10,3 +10,7 @@ addition aNat tinyNat = case tinyNat of
 	Zero -> aNat
 	Succ tinierNat -> Succ (addition aNat tinierNat)
 
+additiont aNat tinyNat = case tinyNat of
+	Zero -> aNat
+	Succ tinierNat -> additiont (Succ aNat) tinierNat
+