Idris 语言文档 Version 1.3.1

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 实 实 实现 现 现带 带 带有 有 有状 状 状态 态 态的 的 的系 系 系统 统 统： ： ：S T 教 教 教程 程 程 69 4 Th e E ff e c t s...