numtype-dk

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.

Contributing

For project information (code, issues) see: http://github.com/bjornbm/numtype-dk