This repository was archived by the owner on Dec 1, 2025. It is now read-only.
This repository was archived by the owner on Dec 1, 2025. It is now read-only.
fix: ordering for reduce terms #319
Description
The ordering is a bit odd for a reduction, where e.g. (reduce + [X Y Z]) becomes (+ X (+ Z Y)) rather than the expected (+ X (+ Y Z)).