on dpatch-map-inner-patch help sign in
all commits
6ef716aMerge branch 'patch-map-inner-patch-desugar' into dpatch-map-inner-patchJohn Ericson a191ed9Bump a number of upper version boundsMalte Brandy ecc8511Fix semigroup importsJohn Ericson ef51a75Document DecidablyEmpty and add missing instancesJohn Ericson 7fd18c0Add notion of heterogenous patchJohn Ericson c7e2767Extract a "patch" library from reflexJohn Ericson