type-natural
Type-level natural and proofs of their properties.
https://github.com/konn/type-natural
Version on this page: | 1.1.0.0 |
LTS Haskell 21.22: | 1.3.0.0 |
Stackage Nightly 2023-12-01: | 1.3.0.0 |
Latest on Hackage: | 1.3.0.0 |
Maintained by konn.jinro_at_gmail.com
This version can be pinned in stack with:
type-natural-1.1.0.0@sha256:94c2d827a4dc0a27fae61e94378f0c23460dda0683a42414b851a912f7d0a203,2730
Module documentation for 1.1.0.0
- Data
- Data.Type
- Data.Type.Natural
- Data.Type.Natural.Builtin
- Data.Type.Natural.Lemma
- Data.Type.Natural.Presburger
- Data.Type.Ordinal
- Data.Type.Natural
- Data.Type
Depends on 9 packages(full list with versions):
Used by 1 package in lts-18.8(full list with versions):