Peano-0.0.1: Data/Peano.hs

-- | Peano numbers without any extra fluff
module Data.Peano (Peano(..)) where

data Peano
    = Zero
    | Succ Peano
    deriving (Show, Eq, Ord)