This package provides a pile of lambda-calculus and list-handling macros of an incredibly obtuse nature. Read lazylist.tex to find out what they all do and how they do it. This TeX code was formally verified. The author is Alan Jeffrey.