Peano-0.0.1: simple Peano numbers

Index

PeanoData.Peano
SuccData.Peano
ZeroData.Peano