pl-latex-templates:用于编程语言研究的 LaTeX 模板

pl-latex-模板 用于编程语言研究的 LaTeX 模板 好的！ 那么它们长什么样子呢？ 我提供两种类型的模板： 幻灯片：看到 （它使用类） 纸：见纸 值得注意的包裹 代码清单： Listings 包 排版推理规则：Didier Rémy 的包 宏 我还为非常常见的 PL 构造（例如 lambda 和替换）预定义了宏。 参见 。 排版 文字： LaTeX 默认 数学：我使用由 Hermann Zapf 和 Donald Knuth 设计的漂亮的 。 用法 $ git clone https://github.com/zhiyuanshi/pl-latex-templates.git 开始编辑slides.tex或paper.tex 贡献 非常欢迎贡献。 请提交拉取请求！