type-natural
Type-level natural and proofs of their properties.
https://github.com/konn/type-natural
Version on this page: | 0.9.0.0@rev:1 |
LTS Haskell 22.18: | 1.3.0.1 |
Stackage Nightly 2024-04-22: | 1.3.0.1 |
Latest on Hackage: | 1.3.0.1 |
Maintained by konn.jinro_at_gmail.com
This version can be pinned in stack with:
type-natural-0.9.0.0@sha256:32ba5c6dcdf4dc0a03cf746c6755d3096bf34ffb9c42aa7d5bf953c38eabcb47,3068
Module documentation for 0.9.0.0
Depends on 8 packages(full list with versions):
Used by 1 package in nightly-2021-01-16(full list with versions):