def extension

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/sha.bend:98

import Base

98def extension(rounds: Nat, +history: List<&2, U32>) -> List<&2, U32>:
99  match rounds:
100    case 0n:
101      Nil{}
102    case 1n+p:
103      +w = recurrence(history)
104      w <> extension(p, w <> history)