Documentation for the Idris Language — Idris 1.0 documentation

# Documentation for the Idris Language

Note

The documentation for Idris has been published under the Creative Commons CC0 License. As such to the extent possible under law, The Idris Community has waived all copyright and related or neighboring rights to Documentation for Idris.

More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/

- The Idris Tutorial
- Frequently Asked Questions
- Implementing State-aware Systems in Idris: The ST Tutorial
- The Effects Tutorial
- Theorem Proving
- Language Reference
- Tutorials on the Idris Language