on e8f61db help sign in
all commits
ef51a75Document DecidablyEmpty and add missing instancesJohn Ericson 2565222Add to `PatchMapWithPatchingMove`'s interfaceJohn Ericson c97c126Fix Semigroup CPPJohn Ericson 510e5e2`isNull` -> `isEmpty`John Ericson 4f8ae56WIP Merge remote-tracking branch 'origin/develop' into patch-map-inner-patchJohn Ericson