~/jendhub

def Flat.sum.of

bend-tensors@0.0.0.2 · bend_tensors.bend:2113

import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors
import Base

2113def Flat.sum.of(n: Nat, a: Array<F32>) -> F32:
2114  match n:
2115    case 0n:
2116      0.0
2117    case 1n+p:
2118      Flat.sum.go(p, 0, Array.get(F32, a, 0), 0.0)

Uses (5)

Used by (1)