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

Estimated changes