def initial_row

bend-edit-distance@0.2.2.0 · src/DistanceDP.bend:9

import bend-edit-distance@0.2.2.0/src/DistanceDP.bend as DistanceDP

import Base

9def initial_row(length: Nat, +column: U32) -> List<U32>:
10  match length:
11    case 0n:
12      [column]
13    case 1n+p:
14      column <> initial_row(p, U32.add(column, 1))

Uses (4)

Used by (2)