2018-07-05 05:42:20 +03:00
|
|
|
(++) = Stream.append
|
2018-09-24 20:15:40 +03:00
|
|
|
sum = Stream.reduce 0 (Nat.+)
|
|
|
|
left = Stream.take 3 (Stream.from-nat 5)
|
|
|
|
right = Stream.take 10 (Stream.from-nat 100)
|
2018-07-05 05:42:20 +03:00
|
|
|
|
|
|
|
sum (Stream.take 6 (left ++ right))
|