def last_cell

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

import Base

45def last_cell(row: List<U32>) -> Nat:
46  match row:
47    case Nil{}:
48      0n
49    case value <> Nil{}:
50      U32.to_nat(value)
51    case _ <> rest:
52      last_cell(rest)