dependent-sum-0.2.0.1: Dependent sum type
Dependent sums and supporting typeclasses for comparing and formatting them.
Modules
- Data
- Dependent
- GADT
dependent-sum-0.2.0.1: Dependent sum type
Dependent sums and supporting typeclasses for comparing and formatting them.
Modules