type-natural
Type-level natural and proofs of their properties.
https://github.com/konn/type-natural
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:957271fe3b4d20025c06a0c5481a4d5a300d3ac8157351ea716ed626b4b7f50c,2990
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 nightly-2024-07-26(full list with versions):