blob: 59dcbf3c009cd3840dbcedcf304d25be479a4900 (
plain)
1
2
3
|
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.
|