.. Idris Manual documentation master file, created by   sphinx-quickstart on Sat Feb 28 20:41:47 2015.   You can adapt this file completely to your liking, but it should at least   contain the root `toctree` directive. Documentation for the Idris 2 Language====================================== .. note::    The documentation for Idris 2 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: https://creativecommons.org/publicdomain/zero/1.0/ .. toctree::   :maxdepth: 1    tutorial/index   backends/index   updates/updates   typedd/typedd   app/index   ffi/index   proofs/index   faq/faq   reference/index