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

Basic operations on type-level natural numbers.

  • Categories

  • License

    BSD-3-Clause

  • Maintainer

    Gregory Crosswhite <gcross@phys.washington.edu>

  • Links

  • 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.