search

obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)
Other
63 stars 33 forks source link

Generalize function types #6

Closed ryantrinkle closed 8 years ago

ryantrinkle commented 8 years ago

This generalizes a bunch of the functions so that the value type of the DMap can be changed inline.

It also includes a commit that fixes a warning for base >= 4.8.0

ryantrinkle commented 8 years ago

I believe these changes subsume #5.