naturals-0.2.0.2: Constructors and related functions for natural numbers (Index)

naturals-0.2.0.2: Constructors and related functions for natural numbers

Index

indeterm	Data.Natural
Natural	Data.Natural
natural	Data.Natural