4 ms·
You can also do Lambda Calculus in TeX: http://tug.ctan.org/macros/generic/lambda-lists/lambda-lists.pdf http://tug.ctan.org/macros/generic/lambda-lists/lambda-
by Kristine1975 11y ago
You can also do Lambda Calculus in TeX: http://tug.ctan.org/macros/generic/lambda-lists/lambda-lists.pdf http://tug.ctan.org/macros/generic/lambda-lists/lambda-lists... (source and macros are in the same directory)