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
  • »
  • 搜索

© 版权所有 2017-2020, The Idris Community. 修订 129362ce.

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