on 196cb7e help sign in
history ofdevelop..196cb7e
compare
196cb7eAdd mapQueryTAli Abrar 7f42217bump dependent-map version boundCale Gibbard 958a68cAdd constraints-extras dependency; Fix Eq instance for PatchDMapWithMoveAli Abrar 22c3a90Allow newer dependent-sumRyan Trinkle 49e0bb8Merge remote-tracking branch 'origin/develop' into patchmapwithmove2Ryan Trinkle cdf8732Merge remote-tracking branch 'origin/develop' into patchmapwithmove2Ali Abrar dfde746Fix patch application in Semigroup PatchMapWithMove2Ryan Trinkle 1d3810dAdd PatchMapWithMove2Ryan Trinkle