@hackage natural-number1.0

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

  • Categories

  • License

    BSD-3-Clause

  • Maintainer

    Gregory Crosswhite <gcross@phys.washington.edu>

  • Links

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