4 lines
195 B
Plaintext
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.
|