Idris-zh
latest
  • Idris 教程
  • 常见问题解答（FAQ）
  • 用 Idris 实现带有状态的系统：ST 教程
  • The Effects Tutorial
  • Theorem Proving
  • Language Reference
  • Tutorials on the Idris Language
Idris-zh
  • Docs »
  • 搜索
  • Edit on GitHub

© Copyright 2018, Idris 社区 Revision 456fc641.

Built with Sphinx using a theme provided by Read the Docs.