type-natural

Type-level natural and proofs of their properties.

https://github.com/konn/type-natural

Version on this page:0.8.3.1@rev:1
LTS Haskell 17.9:1.0.0.0
Stackage Nightly 2021-04-06:1.1.0.0
Latest on Hackage:1.1.0.0

See all snapshots type-natural appears in

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.8.3.1@sha256:cad5dbfa5ac95cb0d68c09d58cfca5c3e154cc786f0dfd2684c53f36203f1bda,3031

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports GHC 8+ only.

Use 0.5.* with ~ GHC 7.10.3.