dependent-sum
Dependent sum type
https://github.com/obsidiansystems/dependent-sum
Version on this page: | 0.7.1.0@rev:2 |
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.1.0@sha256:2943074c14ba06401d5bf47aeb71ed3a3f68da4d3db3ae4ca9ac02f35458fc34,2147
Module documentation for 0.7.1.0
- Data
- Data.Dependent
Depends on 3 packages(full list with versions):
Used by 5 packages in lts-19.0(full list with versions):