Monadoc
Search
Home
universe-dependent-sum
1.3.1-0
lib:universe-dependent-sum
lib:universe-dependent-sum
Modules
Data.Universe.DependentSum
Dependencies
base
lib:base >=4.12 && <4.21
universe-some
lib:universe-some >=1.2.2 && <1.3
Reverse dependencies
Direct only. Not exhaustive.
universe-dependent-sum
test:th-test