on ac8f411 help sign in
all commits
ac8f411Restore the old `DMapWithMove`,John Ericson 6ef716aMerge branch 'patch-map-inner-patch-desugar' into dpatch-map-inner-patchJohn Ericson ecc8511Fix semigroup importsJohn Ericson c97c126Fix Semigroup CPPJohn Ericson 7fd18c0Add notion of heterogenous patchJohn Ericson cf7b8fbGet rid of entirely-_ pattern in Group instancesJohn Ericson 18ffd92Clean up importsJohn Ericson 0dfcb56Merge remote-tracking branch 'origin/develop' into patch-map-inner-patchJohn Ericson a515601Merge remote-tracking branch 'patch/develop' into extra-group-instancesJohn Ericson 1964a5bJust replace the old PatchMapWithMoveJohn Ericson a270e76Merge branch 'patch' into patch-map-inner-patchJohn Ericson c7e2767Extract a "patch" library from reflexJohn Ericson