on cb657ca help sign in
all commits
cb657caClean upJohn Ericson 5f76c19Add back accidentally removed docs and weaken `Eq p` constraintJohn Ericson 0dfcb56Merge remote-tracking branch 'origin/develop' into patch-map-inner-patchJohn Ericson d77b245fix docs: dmap to mapJacquin Mininger 1964a5bJust replace the old PatchMapWithMoveJohn Ericson 6ecd0a6Remove unused constraintsJohn Ericson c7e2767Extract a "patch" library from reflexJohn Ericson