def expand

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha/core.bend:79

import Base

79def expand(n: Nat, +history: List<&2, U32>) -> List<&2, U32>:
80  match n:
81    case 0n:
82      Nil{}
83    case 1n+p:
84      +w = next_word(history)
85      w <> expand(p, w <> history)