def dot

bendtorch-core@0.1.0.0 · src/shape/projection_proofs.bend:22

import Base

22def dot(steps: List<&2, Nat>, values: List<&2, Nat>) -> Nat:
23  match steps values:
24    case step <> rest +value <> tail:
25      Nat.add(Nat.mul(step, value), dot(rest, tail))
26    case steps values:
27      0n