peano-0.1.0.0: Peano numbers
Data.Peano
data Peano Source
Constructors
Instances
infinity :: Peano Source