def Mat.add

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

import Base

239def Mat.add(-r: Nat, -c: Nat, a: Mat<r, c>, b: Mat<r, c>) -> Mat<r, c>:
240  match a b:
241    case Mat{x} Mat{y}:
242      Mat{rows.zip_add(x, y)}