Contents
Index
Peano-0.0.2: simple Peano numbers
Index
Peano
Data.Peano
Succ
Data.Peano
Zero
Data.Peano