natural-numbers-0.1.0.0: Natural numbers
Data.Natural
Description
Provides a type for natural numbers.
Synopsis
data Natural Source
The type of natural numbers.
Instances