peano-0.1.0.3: Peano numbers (Index)

peano-0.1.0.3: Peano numbers

Contents
Index

Index

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

Produced by Haddock version 2.30.0