@@ -6,10 +6,14 @@
66Documentation for the Idris Language
77====================================
88
9− This work is licensed under the Creative Commons
10− Attribution-ShareAlike 4.0 International License. To view a copy
11− of this license, visit
12− http://creativecommons.org/licenses/by-sa/4.0/.
9+.. note::
10+
11+ The documentation for Idris has been published under the Creative
12+ Commons CC0 License. As such to the extent possible under law, /The
13+ Idris Community/ has waived all copyright and related or neighboring
14+ rights to Documentation for Idris.
15+
16+ More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
1317
1418* :ref:`reference-index`
1519* :ref:`tutorial-index`