BSD-3-Clause licensed by Hiromi ISHII
Maintained by konn.jinro_at_gmail.com
This version can be pinned in stack with:type-natural-1.1.0.1@sha256:6ce505c40bc92fa57bd463b0ff43513d896c301ab5f19538a0e2cad3758a7a63,2649

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports GHC 8+ only.

Use 0.5.* with ~ GHC 7.10.3.