type-natural
Type-level natural and proofs of their properties.
https://github.com/konn/type-natural
Version on this page: | 1.3.0.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-1.3.0.1@sha256:92fa921823a74d8131f654528b24b8a5a050c4c877885c121bdc003bc3f08db9,2941
Module documentation for 1.3.0.1
- 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-22.15(full list with versions):