@hackage natural-number1.0

Natural numbers tagged with a type-level representation of the number.

Categories
- Type System
License
BSD-3-Clause
Maintainer
Gregory Crosswhite <gcross@phys.washington.edu>
Links
- Homepage
- Documentation
- No source repository
Versions
- 1.0 Thu, 14 Oct 2010

This package provides a simple data structure for repesenting natural numbers with a type that is tagged with the type-level natural number corresponding to the value of the natural number.

Installation
In your cabal file:
Dependencies (0)
Dependents (0)

@hackage natural-number1.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)