search

obsidiansystems / dependent-map

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

Fix compilation errors #38

Closed srid closed 4 years ago

int-e commented 4 years ago

@ryantrinkle @3noch: With dependent-sum 0.6.2.2 released to Hackage these changes are now required for depdent-map to build.

(The commit that removed This is https://github.com/obsidiansystems/dependent-sum/commit/e5644e288c2298bbcf09c87e2a4f8e645f84d419 ... I missed that there was an API change.)