on d2a1df7 help sign in
all commits
ef51a75Document DecidablyEmpty and add missing instancesJohn Ericson 1139cebKeep `DMapWithMove` working with the old `PatchMapWithMove` for nowJohn Ericson 0dfcb56Merge remote-tracking branch 'origin/develop' into patch-map-inner-patchJohn Ericson c7e2767Extract a "patch" library from reflexJohn Ericson