def sum_go

bend-collections-laws-math@1.0.0.0 · src/math/natural.bend:93

import Base

93def sum_go(xs: List<&2, Nat>, +acc: Nat) -> Nat:
94  match xs:
95    case Nil{}:
96      acc
97    case Con{+x, rest}:
98      sum_go(rest, Nat.add(acc, x))