Idris 教程¶

本文档为 Idris 的教程，它简单介绍了如何用 Idris 语言编程。文档中覆盖了该语言的核心特性，并假定你至少熟悉一门函数式编程语言，如 Haskell 或 OCaml。

注解

Idris 文档已按照 创作共用 CC0 许可协议 发布。因此根据法律规定， Idris 社区 已放弃对 Idris 文档的所有版权以及相关或邻接的权利。