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 22.33: | 1.3.0.1@rev:1 |
Stackage Nightly 2024-09-07: | 1.3.0.1@rev:1 |
Latest on Hackage: | 1.3.0.1@rev:1 |
Maintained by konn.jinro_at_gmail.com
This version can be pinned in stack with:
type-natural-0.8.3.1@sha256:cad5dbfa5ac95cb0d68c09d58cfca5c3e154cc786f0dfd2684c53f36203f1bda,3031
Module documentation for 0.8.3.1
Depends on 8 packages(full list with versions):
Used by 1 package in nightly-2020-05-10(full list with versions):