F-polymorphic map functions

obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)

Other

63 stars 33 forks source link

F-polymorphic map functions #5

Closed int-index closed 8 years ago

ryantrinkle commented 8 years ago

Before I saw this, I did some similar generalization in #6. I think it's a superset of what's here, so we should be able to close this when #6 is merged; or, if this gets merged, I'll be happy to factor out the conflicts in #6.

mokus0 commented 8 years ago

Thanks, sorry I didn't get to this before @ryantrinkle duplicated the effort!