**********************Idris2 Reference Guide********************** .. 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/ This is a placeholder, to get set up with readthedocs. .. toctree::   :maxdepth: 1    packages   envvars