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
Please activate JavaScript to enable the search functionality.
Read the Docs
v: latest
Versions
latest
Downloads
htmlzip
epub
On Read the Docs
Project Home
Builds
Free document hosting provided by
Read the Docs
.