dependent-sum
Dependent sum type
https://github.com/obsidiansystems/dependent-sum
Version on this page: | 0.7.1.0@rev:2 |
LTS Haskell 20.16: | 0.7.2.0 |
Stackage Nightly 2023-03-31: | 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 6 packages in lts-18.28(full list with versions):