@hackage dependent-map0.1.1

Dependent finite maps (partial dependent products)

Dependent finite maps (partial dependent products)