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