2013-09-26 17:14:40 +02:00

4 lines
195 B
Plaintext

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.