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