@hackage type-level-natural-number-operations1.0

Basic operations on type-level natural numbers.

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 some basic operations that do not require the UndecideableInstances extension on type-level natural numbers. Specifically, this package provides the Plus and Minus type functions.

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

@hackage type-level-natural-number-operations1.0

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (0)