Peano-0.0.3: simple Peano numbers

Safe Haskell	Safe-Infered

Data.Peano

Description

Peano numbers without any extra fluff

Documentation

data Peano Source

Constructors

Zero
Succ Peano

Instances

Eq Peano
Ord Peano
Read Peano
Show Peano

plus :: Peano -> Peano -> Peano Source

times :: Peano -> Peano -> Peano Source

infinity :: Peano Source