on develop help sign in
all commits
0ebc19fImprove haddockJohn Ericson a191ed9Bump a number of upper version boundsMalte Brandy ecc8511Fix semigroup importsJohn Ericson ef51a75Document DecidablyEmpty and add missing instancesJohn Ericson 1139cebKeep `DMapWithMove` working with the old `PatchMapWithMove` for nowJohn Ericson 0dfcb56Merge remote-tracking branch 'origin/develop' into patch-map-inner-patchJohn Ericson c7e2767Extract a "patch" library from reflexJohn Ericson