Idris
v1.3.4
  • 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
  • Docs »
  • Search
  • Edit on GitHub

© Copyright 2017-2020, The Idris Community Revision d37b0cbc.

Built with Sphinx using a theme provided by Read the Docs.