Kmeakin opened PR #6033 from double-ineg
to main
:
algrebraic.isle
rewrites0-x
toisub x
, but misses an opportunity to further simplify
cfallin submitted PR review.
cfallin has enabled auto merge for PR #6033.
alexcrichton merged PR #6033.
Last updated: Nov 22 2024 at 16:03 UTC