~/jendhub

def fsum_append

bendtorch-core@0.1.0.0 · src/autograd/reduce_parallel_proof.bend:236

import bendtorch-core@0.1.0.0/src/autograd/reduce_parallel_proof.bend as ReduceParallelProof
import Base

236def fsum_append(+xs: List<&2, F32>, +ys: List<&2, F32>, +accumulator: F32) ->
237  {fsum(List.append(&2, F32, xs, ys), accumulator) == fsum(ys, fsum(xs, accumulator)) : F32}:
238  match xs:
239    case Nil{}:
240      {==}
241    case +x <> +rest:
242      fsum_append(rest, ys, F32.add(accumulator, x))

Uses (5)

Used by (1)