Idris 2 速成课程
这是一个Idris 2的速成课程（有点像教程，但恐怕没有那么温和！）。它提供了一个关于Idris语言编程的简要介绍。它涵盖了核心的语言功能，假设读者有一些现有函数式编程语言的经验，如Haskell或OCaml。
这是从 Idris 1 教程中修订和更新的。关于自 Idris 1 以来的变化细节，详见 自 Idris 1 以来的变化。
备注
Idris 的文档已在知识共享 CC0 许可下发布。因此，在法律允许的范围内，Idris 社区 已经放弃了 Idris 文档的所有版权和相关或邻近的权利。
关于CC0的更多信息，可以在网上找到：http://creativecommons.org/publicdomain/zero/1.0/