def rows.zip_add

bend-ml-tensor@0.1.2.0 · main.bend:149

import Base

149def rows.zip_add(xs: List<&2, List<&2, F32>>, ys: List<&2, List<&2, F32>>) -> List<&2, List<&2, F32>>:
150  match xs ys:
151    case Con{a, t} Con{b, u}:
152      zip_with.add(a, b) <> rows.zip_add(t, u)
153    case _ _:
154      Nil{}