@hackage numtype-dk0.5.0.3

Type-level integers, using TypeNats, Data Kinds, and Closed Type Families.

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.

Build Status Hackage Version Stackage version

Contributing

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