Spec.madd: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/spec.bend as Spec
Lines 80-88 of bendtorch@1.3.0.0/spec.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/spec.bend&start_line=80&end_line=88

import Base

# row-wise sum of two matrices (the shorter counts as padded)
def madd(a: List<&2, List<&2, Nat>>, b: List<&2, List<&2, Nat>>) -> List<&2, List<&2, Nat>>:
  match a b:
    case Nil{} _:
      b
    case Con{r, rt} Nil{}:
      Con{r, rt}
    case Con{r, rt} Con{s, st}:
      vadd(r, s) <> madd(rt, st)

Uses (3):
  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=bendtorch@1.3.0.0/spec.bend&name=vadd