Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
37 lines (27 sloc) 1.13 KB

Idris 语言文档

Note

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

关于 CC0 的更多信息参见:https://creativecommons.org/publicdomain/zero/1.0/deed.zh

.. toctree::
   :maxdepth: 1

   tutorial/index
   faq/faq
   st/index
   effects/index
   proofs/index
   reference/index
   guides/index
You can’t perform that action at this time.