dependent-sum-0.2.0.1: Dependent sum type

dependent-sum-0.2.0.1: Dependent sum type

Dependent sums and supporting typeclasses for comparing and formatting them.

Modules