dependent-sum
Dependent sum type
https://github.com/obsidiansystems/dependent-sum
Version on this page: | 0.7.1.0@rev:2 |
LTS Haskell 20.9: | 0.7.2.0 |
Stackage Nightly 2023-01-30: | 0.7.2.0 |
Latest on Hackage: | 0.7.2.0 |
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 4 packages in nightly-2022-11-17(full list with versions):