This package provides a pile of lambda-calculus and list-handling macros of an incredibly obtuse nature. The TUGboat paper serves as a manual for the macros.
This TeX code was formally verified.
The author is Alan Jeffrey.
License: lppl Version: 1.0a Catalogued: 2006-12-30