natural-numbers-0.0.1.2: Natural numbers

Data.Natural

Description

Provides a type for natural numbers.

Synopsis

Documentation