Idris2 Reference Guide
备注
Idris 2 的文档已在知识共享 CC0 许可下发布。因此，在法律允许的范围内，Idris 社区 已经放弃了 Idris 文档的所有版权和相关或邻近的权利。
有关 CC0 的更多信息，请访问：https://creativecommons.org/publicdomain/zero/1.0/
This is a placeholder, to get set up with readthedocs.
备注
Idris 2 的文档已在知识共享 CC0 许可下发布。因此，在法律允许的范围内，Idris 社区 已经放弃了 Idris 文档的所有版权和相关或邻近的权利。
有关 CC0 的更多信息，请访问：https://creativecommons.org/publicdomain/zero/1.0/
This is a placeholder, to get set up with readthedocs.