Peano-0.0.2: simple Peano numbers
Data.Peano
Description
Peano numbers without any extra fluff
data Peano Source
Constructors
Instances