Idris2 参考指南

备注

Idris 2 的文档已在知识共享 CC0 许可下发布。因此，在法律允许的范围内，Idris 社区 已经放弃了 Idris 文档的所有版权和相关或邻近的权利。

有关 CC0 的更多信息，请访问：https://creativecommons.org/publicdomain/zero/1.0/

这是一个占位符，用于设置 readthedocs。