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