dependent-sum
Dependent sum type
https://github.com/obsidiansystems/dependent-sum
Version on this page: | 0.7.1.0@rev:1 |
LTS Haskell 21.22: | 0.7.2.0@rev:2 |
Stackage Nightly 2023-12-01: | 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:0e419237f5b86da3659772afff9cab355c0f8d5b3fdb15a5b30e673d8dc83941,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.6(full list with versions):