Closed matthew-brett closed 1 month ago
Introduce sum as an idea before using it to sum Booleans.
Changes already merged in 39af9b8.
Introduce sum as an idea before using it to sum Booleans.