obsidiansystems / dependent-map

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

Update to reflect improvements in containers #9

Closed treeowl closed 8 years ago

treeowl commented 8 years ago
treeowl commented 8 years ago

Thanks!

On Sep 2, 2016 7:13 PM, "James Cook" notifications@github.com wrote:

Merged #9 https://github.com/mokus0/dependent-map/pull/9.

— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/mokus0/dependent-map/pull/9#event-777192942, or mute the thread https://github.com/notifications/unsubscribe-auth/ABzi_WCLxTcF0PtmlPT4Nrn0x3HWRq5sks5qmK2mgaJpZM4JoFQR .