type-natural

Type-level natural and proofs of their properties.

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

Version on this page:1.0.0.0
LTS Haskell 18.23:1.1.0.1
Stackage Nightly 2022-01-27:1.1.0.1
Latest on Hackage:1.1.0.1

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-1.0.0.0@sha256:d1657f776b6e43d9950fd239f9873ea4f8193b43cc7bc9bb25d151a7441fde78,2765

Type-level natural numbers and proofs of their properties.

Version 0.6+ supports GHC 8+ only.

Use 0.5.* with ~ GHC 7.10.3.