diff --git a/Data/Peano.hs b/Data/Peano.hs
--- a/Data/Peano.hs
+++ b/Data/Peano.hs
@@ -1,7 +1,23 @@
 -- | Peano numbers without any extra fluff
-module Data.Peano (Peano(..)) where
+module Data.Peano
+    ( Peano(..)
+    , plus
+    , times
+    , infinity
+    ) where
 
 data Peano
     = Zero
     | Succ Peano
-    deriving (Show, Eq, Ord)
+    deriving (Show, Read, Eq, Ord)
+
+plus :: Peano -> Peano -> Peano
+plus Zero     m = m
+plus (Succ n) m = Succ (plus n m)
+
+times :: Peano -> Peano -> Peano
+times Zero     _ = Zero
+times (Succ n) m = plus n (times n m)
+
+infinity :: Peano
+infinity = Succ infinity
diff --git a/Peano.cabal b/Peano.cabal
--- a/Peano.cabal
+++ b/Peano.cabal
@@ -7,7 +7,7 @@
 -- The package version. See the Haskell package versioning policy
 -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for
 -- standards guiding when and how versions should be incremented.
-Version:             0.0.2
+Version:             0.0.3
 
 -- A short (one-line) description of the package.
 Synopsis:            simple Peano numbers
@@ -22,14 +22,14 @@
 License-file:        LICENSE
 
 -- The package author(s).
-Author:              Andras Slemmer
+Author:              Andras Slemmer, Francesco Mazzoli
 
 -- An email address to which users can send suggestions, bug reports,
 -- and patches.
 Maintainer:          0slemi0@gmail.com
 
 -- A copyright notice.
--- Copyright:           
+-- Copyright:
 
 Category:            Data
 
@@ -37,7 +37,7 @@
 
 -- Extra files to be distributed with the package, such as examples or
 -- a README.
--- Extra-source-files:  
+-- Extra-source-files:
 
 -- Constraint on the version of Cabal needed to build this package.
 Cabal-version:       >=1.2
@@ -46,14 +46,13 @@
 Library
   -- Modules exported by the library.
   Exposed-modules:     Data.Peano
-  
+
   -- Packages needed in order to build this package.
-  Build-depends:       
+  Build-depends:
      base < 5
-  
+
   -- Modules not exported by this package.
-  -- Other-modules:       
-  
+  -- Other-modules:
+
   -- Extra tools (e.g. alex, hsc2hs, ...) needed to build the source.
-  -- Build-tools:         
-  
+  -- Build-tools: