peano-0.1.0.2: Peano numbers (Index)

peano-0.1.0.2: Peano numbers

Contents
Index

Index

infinity	Data.Peano
Peano	Data.Peano
Succ	Data.Peano
Zero	Data.Peano

Produced by Haddock version 2.26.0