Commit 2023-12-12 19:59 15f64745
View on Github →feat({ Tactic + test }/MoveAdd): make And/Or
left-associative (#8607)
In this Zulip discussion it was pointed out that move_oper
always assumes right-associativity also for And/Or
.
This PR makes move_oper
left-associative on And/Or
.
Affected files:
Tactic/MoveAdd
test/MoveAdd