The lists.lazy vocabulary implements lazy lists and standard operations to manipulate them.
Constructing lazy lists
Manipulating lazy lists
Combinators for manipulating lazy lists
Lazy list I/O
Constructing lazy lists Manipulating lazy lists Combinators for manipulating lazy lists Lazy list I/O