def skip

bend-collections-laws-crypto@1.0.0.0 · src/crypto/chacha/chacha20.bend:72

import Base

72def skip(n: Nat, xs: List<&2, U32>) -> List<&2, U32>:
73  match n xs:
74    case 0n _: xs
75    case 1n+p Nil{}: Nil{}
76    case 1n+p x <> rest: skip(p, rest)