@@ -6,10 +6,14 @@
6Documentation for the Idris Language
6Documentation for the Idris Language
7====================================
7====================================
9− This work is licensed under the Creative Commons
9+.. note::
10− Attribution-ShareAlike 4.0 International License. To view a copy
10+
11− of this license, visit
11+ The documentation for Idris has been published under the Creative
12− http://creativecommons.org/licenses/by-sa/4.0/.
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.
16+ More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
14* :ref:`reference-index`
18* :ref:`reference-index`
15* :ref:`tutorial-index`
19* :ref:`tutorial-index`