Add merge - Githubissues

obsidiansystems / dependent-map

Dependently-typed finite maps (partial dependent products)

Other

63 stars 33 forks source link

Add merge #45

Open tomsmalley opened 4 years ago

tomsmalley commented 4 years ago

I bumped the version, but we should revisit that. Also I added a bunch of since UNRELEASED in which need updating to the version we settle on

[ ] Ensure version is correct
[ ] Add version to since docs

tomsmalley commented 4 years ago

I noticed that Data.Map's internals have moved quite a bit from when they were copied into here. delta has changed, and so have some of the algorithm implementations. We should probably bring this stuff up to date with containers at some point.