Idris
latest
The Idris Tutorial
Frequently Asked Questions
Implementing State-aware Systems in Idris: The ST Tutorial
The Effects Tutorial
Theorem Proving
Elaborator Reflection
Lexer and Parser Library
Language Reference
Tutorials on the Idris Language
Idris
»
搜索
请启用 JavaScript 以便使用搜索功能
Read the Docs
v: latest
版本列表
latest
下载链接
html
托管于 Read the Docs
项目首页
构建