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

© 版权所有 2020-2023, The Idris Community。

利用 Sphinx 构建，使用的 主题 由 Read the Docs 开发.