8c05e4ceed
This is the lambda-lists package by Alan Jeffrey, for doing lists and lambda calculus via expandable macros (a.k.a. in TeX's mouth).
2 lines
133 B
Text
2 lines
133 B
Text
This is the lambda-lists package by Alan Jeffrey, for doing lists and
|
|
lambda calculus via expandable macros (a.k.a. in TeX's mouth).
|