search

obsidiansystems / dependent-map

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

Also enable PolyKinds in the top-level module #4

Closed hgoes closed 8 years ago

hgoes commented 9 years ago

Otherwise the exported functions are not poly-kinded (for example insert)