def list.add

bend-ml-llama@0.2.1.0 · main.bend:287

import Base

287# xs + ys, element by element (to the shorter length)
288def list.add(xs: List<&2, F32>, ys: List<&2, F32>) -> List<&2, F32>:
289  match xs ys:
290    case Con{+h, t} Con{+g, u}:
291      (h + g : F32) <> list.add(t, u)
292    case _ _:
293      Nil{}