unison/unison-src/tests/stream/fromint64-take-foldleft-plus.u

5 lines
92 B
Plaintext

a |> f = f a
Stream.from-uint64 0
|> Stream.take 10000
|> Stream.fold-left 0 (UInt64.+)