Idris2
main
Idris 2 速成课程
常见问题解答
编译为可执行文件
自 Idris 1 以来的变化
Type Driven Development with Idris: Updates Required
包
在哪里可以找到库
构建 Idris 2 应用程序
外部函数接口
定理证明
实现说明
Idris2 Reference Guide
经典实例
解析
Idris2
»
经典实例
在 GitHub 上修改
经典实例
经典实例是为 Idris 2 中的常见模式和应用提供常见的案例。
解析
Read the Docs
v: main
版本列表
main
下载链接
html
托管于 Read the Docs
项目首页
构建