描述
俄勒冈州立大学Lambda集团使用的LaTeX宏库的集合。 可能对其他人没什么兴趣！
档案文件
lambda.sty-通用数学，语言设计，代码和元注释宏。 包括在您所有的论文中。
cc.sty-选择微积分宏。 取决于lambda.sty。
vlc.sty-变分lambda演算宏。 取决于lambda.sty和cc.sty。 （注意：在提交VLC期刊论文之前，可能仍对该文件进行一些非向后兼容的编辑）。
动机
我们的LaTeX宏复制粘贴重用策略快速灵活，但在合并多篇论文（例如，后续论文，赠款提案，演示文稿和论文）中的文本和定义时存在问题。 这是尝试“规范化”我们使用最广泛的一些宏，以便可以更轻松地共享和重用它们。
如何使用
对于要使用的每个库，请将其包含在\usepackage ，例如：
\usepackage{lambda}
以下是两种安装库的方法，以便LaTeX在编译这些命令时
