@hackage type-level-integers0.0.1

Provides integers lifted to the type level

This packages provides type level integers together with type families for basic arithmetic.