Type-level natural and proofs of their properties.


Version on this page:
LTS Haskell 20.23:
Stackage Nightly 2023-05-31:
Latest on Hackage:

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-,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.