def seq

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/argon2/blamka.bend:138

import Base

138# first, first + step, .., n terms.
139def seq(n: Nat, +first: Nat, +step: Nat) -> List<&2, Nat>:
140  match n:
141    case 0n:
142      Nil{}
143    case 1n+k:
144      first <> seq(k, Nat.add(first, step), step)