Solution
= Solution
Over <integers>, choose \b[`s = c = (+)` and `a = b = 0`]. The <left fold> and <right fold> both compute the <sum> of a finite <list>.
= Solution
Over <integers>, choose \b[`s = c = (+)` and `a = b = 0`]. The <left fold> and <right fold> both compute the <sum> of a finite <list>.