on dpatch-map-inner-patch help sign in
all commits
6ef716aMerge branch 'patch-map-inner-patch-desugar' into dpatch-map-inner-patchJohn Ericson 44719daCleanup and avoid GHC bugsJohn Ericson 68cf321Enable PolyKindsv0.0.4.0Ali Abrar ecc8511Fix semigroup importsJohn Ericson b97e921Fix docs on Proxy instanceJohn Ericson 98634c9Appease hlintJohn Ericson 3f037afGet everything type checking againJohn Ericson f78dd16WIP Generalize DMap patchingJohn 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 6ecd0a6Remove unused constraintsJohn Ericson c7e2767Extract a "patch" library from reflexJohn Ericson