You're welcome! I think the lazy evaluation effectively does streaming -- that was the other reason to look at followup work, like the "Strictly Pretty" paper w

You're welcome! I think the lazy evaluation effectively does streaming -- that was the other reason to look at followup work, like the "Strictly Pretty" paper which had code in ML, a non-lazy language. I'm forgetting the titles of newer ones than that.