on patchable help sign in
all commits
5b55c0eFix typoAlexandre Esteves ecc8511Fix semigroup importsJohn Ericson c97c126Fix Semigroup CPPJohn 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