This package provides type level representations of the integers
(TypeInts) and basic operations (addition, subtraction, multiplication,
division, exponentiation) on these.
Requires GHC 7.8 or later.
For project information (code, issues) see: http://github.com/bjornbm/numtype-dk