Peano-0.0.2: simple Peano numbers

Index

PeanoData.Peano
SuccData.Peano
ZeroData.Peano