Implement an 'add' function for Nat

peano.hs

@@ -6,3 +6,7 @@ intValOf thisNat = case thisNat of
 
 natValOf thisInt = if thisInt == 0 then Zero else Succ (natValOf (thisInt - 1))
 
+addition aNat tinyNat = case tinyNat of
+	Zero -> aNat
+	Succ tinierNat -> Succ (addition aNat tinierNat)
+