Idris2
Idris 2 速成课程
常见问题解答
编译为可执行文件
自 Idris 1 以来的变化
《Type Driven Development with Idris》：所需更新
包
在哪里可以找到库
构建 Idris 2 应用程序
外部函数接口
定理证明
实现说明
Idris2 参考指南
经典实例
Idris2
索引
索引