ParadoxicalCombinatorsForStreams AΒΆ

ystream.spad line 1

This package implements fixed-point computations on streams.

Y: (List Stream A -> List Stream A, Integer) -> List Stream A
Y(g, n) computes a fixed point of the function g, where g takes a list of n streams and returns a list of n streams.
Y: Stream A -> Stream A -> Stream A
Y(f) computes a fixed point of the function f.