本文档为 Idris 的教程，它简单介绍了如何用 Idris 语言编程。 文档中覆盖了该语言的核心特性，并假定你至少熟悉一门函数式编程语言，如 Haskell 或 OCaml。
Note
Idris 文档已按照 创作共用 CC0 许可协议 发布。因此根据法律规定， Idris 社区 已放弃对 Idris 文档的所有版权以及相关或邻接的权利。
关于 CC0 的更多信息参见：https://creativecommons.org/publicdomain/zero/1.0/deed.zh
.. toctree:: :maxdepth: 1 introduction starting typesfuns interfaces modules packages interp views theorems provisional interactive syntax miscellany conclusions