numericpeano-0.1.0.0: Peano numbers with attendant bells and whistles.

Index

decrNumeric.Peano
fromPeanoNumeric.Peano
infinityNumeric.Peano
isSuccNumeric.Peano
isZeroNumeric.Peano
NatNumeric.Peano
natLengthNumeric.Peano
NegNumeric.Peano
PeanoNumeric.Peano
PosNumeric.Peano
SNumeric.Peano
SignNumeric.Peano
takeNatNumeric.Peano
Whole 
1 (Type/Class)Numeric.Peano
2 (Data Constructor)Numeric.Peano
ZNumeric.Peano