on 48711bc help sign in
all commits
ac8f411Restore the old `DMapWithMove`,John Ericson 6ef716aMerge branch 'patch-map-inner-patch-desugar' into dpatch-map-inner-patchJohn Ericson 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 98634c9Appease hlintJohn Ericson 3f037afGet everything type checking againJohn Ericson 69a7ab8Over the hillJohn Ericson f78dd16WIP Generalize DMap patchingJohn Ericson d72221cTry making the "to" field at a potentially different indexJohn Ericson aa7311bWIP: Patch in PatchDMapWithMove's From_MoveJohn Ericson 7fd18c0Add notion of heterogenous patchJohn Ericson 0dfcb56Merge remote-tracking branch 'origin/develop' into patch-map-inner-patchJohn Ericson c7e2767Extract a "patch" library from reflexJohn Ericson