dependent-sum
Dependent sum type
https://github.com/obsidiansystems/dependent-sum
LTS Haskell 22.14: | 0.7.2.0@rev:2 |
Stackage Nightly 2024-03-28: | 0.7.2.0@rev:2 |
Latest on Hackage: | 0.7.2.0@rev:2 |
Maintained by Obsidian Systems, LLC
This version can be pinned in stack with:
dependent-sum-0.7.2.0@sha256:f1060345439b6949eae5a6b3cdb35c7189ff360f7b4d5fa617e4f1e0f847c424,2148
Module documentation for 0.7.2.0
- Data
- Data.Dependent
Depends on 3 packages(full list with versions):
Used by 4 packages in nightly-2024-03-28(full list with versions):