I d r i s 语 语 语言 言 言文 文 文档 档 档 Ve r s io n 1 .3 .1 C o n t e n t s 1 I d r i s 教 教 教程 程 程 2 2 常 常 常见 见 见问 问 问题 题 题解 解 解答 答 答（ （ （F A Q ） ） ） 64 3 用 用 用 I d r i s 实 实 实现 现 现带 带 带有 有 有状 状 状态 态 态的 的 d r i s L an gu age 215 注 注 注解 解 解: 奉 奤 奲 奩 女 文档已按照 创 创 创作 作 作共 共 共用 用 用 C C 0 许 许 许可 可 可协 协 协议 议 议 发布。因此根据法律规定， I d r i s 社 社 社区 区 区 已放弃对 奉 奤 奲 奩 女 文档的所有版权以及相关或邻接的权利。 关于 奃 奃 夰 的更多信息参见：奨 奴 奴 奰 女 夺 夯夯奣 失 C H AP T E R 1 I d r i s 教程 本文档为 奉 奤 奲 奩 女 的教程，它简单介绍了如何用 奉 奤 奲 奩 女 语言编程。 文档中覆盖了该语言的核心特性，并假 定你至少熟悉一门函数式编程语言，如 奈奡女 奫 奥 奬 奬 或 奏 奃 奡奭 奬 。 注 注 注解 解 解: 奉 奤 奲 奩 女 文档已按照 创 创 创作 作 作共 共 共用 用 用 C C 0 许 许 许可

. . . . . . . . . . . . . . . . . . 31 8 总结 33 ii LaTex (tikz) 转换为图像, 发布 1.0.0 此项目是一个关于把 LaTex 文档直接转换为各种图像的教程（在编译 TEX 文件时，同时生成单独 的图片）。此教程主要关注如何把 tikz 生成的，内嵌于 LaTex 生成的 PDF 文件中的图像转换为各种格 式的单独图片。 此项目会讨论到的图片格式如下 中非常有用的一个包。本教程主要讲述怎样利用此包来进行图片的转换，但 此包其实还有其它相当多的应用。Overleaf 上有一个非常有用的教程。 4.1 standalone 的转换命令配置 standalone 本身的 说明文档 已经对配置有详尽的说明，此处重点说一下转换成图片需要用到的 convert 选项。 配置 convert 需要在 documentclass 中进行。以下是一个利用 pdf2svg 转换为 SVG 2 pdf2svg \infile\space \outfile\space all 3 }}]{standalone} 其中， • tikz 此选项告诉 standalone LaTex 文档中存在 tikz 图片。 • convert 此选项开启 standalone 的转换功能。 • convert={} 此选项是 convert 的详细配置项。 1 Ghost In Shell