peano-0.1.0.0: Peano numbers (Index)

Contents
Index

peano-0.1.0.0: Peano numbers

Index

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

Produced by Haddock version 2.15.0.2