@hackage type-natural1.0.0.0

Type-level natural and proofs of their properties.

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports GHC 8+ only.

Use 0.5.* with ~ GHC 7.10.3.