dependent-sum
Dependent sum type
https://github.com/obsidiansystems/dependent-sum
LTS Haskell 21.13: | 0.7.2.0@rev:1 |
Stackage Nightly 2023-09-24: | 0.7.2.0@rev:1 |
Latest on Hackage: | 0.7.2.0@rev:1 |
Maintained by Obsidian Systems, LLC
This version can be pinned in stack with:
dependent-sum-0.7.2.0@sha256:16215db5d1f62897ace34167726f7a9b51a91ce5be12e4de456ffb673a9acb63,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-2023-09-24(full list with versions):