BendMlTensor.rows.col_sums: def of bend-ml-tensor@0.1.2.0 Import: import bend-ml-tensor@0.1.2.0/main.bend as BendMlTensor Lines 184-190 of bend-ml-tensor@0.1.2.0/main.bend: https://jend.leeeet.dev/read.txt?path=bend-ml-tensor@0.1.2.0/main.bend&start_line=184&end_line=190 import Base # column sums def rows.col_sums(c: Nat, +rows: List<&2, List<&2, F32>>) -> List<&2, F32>: match c: case 0n: Nil{} case 1n+p: sum.go(heads(rows), 0.0) <> rows.col_sums(p, tails(rows)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32 https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat https://jend.leeeet.dev/definition.txt?path=bend-ml-tensor@0.1.2.0/main.bend&name=heads https://jend.leeeet.dev/definition.txt?path=bend-ml-tensor@0.1.2.0/main.bend&name=sum.go https://jend.leeeet.dev/definition.txt?path=bend-ml-tensor@0.1.2.0/main.bend&name=tails