BSD-3-Clause licensed by Hiromi ISHII
Maintained by konn.jinro_at_gmail.com
This version can be pinned in stack with:type-natural-0.9.0.0@sha256:e9d1ed7f0e2d0f8d07bedf7a0e920ba553b1b86888877687f0aa42af5068a59e,2979

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports GHC 8+ only.

Use 0.5.* with ~ GHC 7.10.3.