@hackage / numtype-dk

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

Latest0.5.0.3

Changelog

0.5.0.2 (2018-07)

Internal changes to support compilation on GHC 8.6.1 release candidate.

0.5.0.1 (2016-05)

Internal changes to support compilation on GHC 8.0.1 release candidate.

0.5 (2015-05)

First public (Hackage) release.