#+TITLE: Licensing Information

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/