git.iko.soy/Idris-dev
on master help sign in
Fixes #2045 Fixed reST syntax error in license declaration.
8b70c6aJan de Muijnck-Hughes
docs/effects/index.rst+2−2
compare with master
unifiedsplit
@@ -9,8 +9,8 @@ A tutorial on the `Effects` package in `Idris`.
9.. note::
9.. note::
10
10
11 The documentation for Idris has been published under the Creative
11 The documentation for Idris has been published under the Creative
12− Commons CC0 License. As such to the extent possible under law, /The
12+ Commons CC0 License. As such to the extent possible under law, *The
13− Idris Community/ has waived all copyright and related or neighboring
13+ Idris Community* has waived all copyright and related or neighboring
14 rights to Documentation for Idris.
14 rights to Documentation for Idris.
15
15
16 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
16 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
docs/guides/index.rst+2−2
@@ -8,8 +8,8 @@ Tutorials submitted by community members.
8
8
9.. note::
9.. note::
10 The documentation for Idris has been published under the Creative
10 The documentation for Idris has been published under the Creative
11− Commons CC0 License. As such to the extent possible under law, /The
11+ Commons CC0 License. As such to the extent possible under law, *The
12− Idris Community/ has waived all copyright and related or neighboring
12+ Idris Community* has waived all copyright and related or neighboring
13 rights to Documentation for Idris.
13 rights to Documentation for Idris.
14
14
15 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
15 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
docs/index.rst+2−2
@@ -9,8 +9,8 @@ Documentation for the Idris Language
9.. note::
9.. note::
10
10
11 The documentation for Idris has been published under the Creative
11 The documentation for Idris has been published under the Creative
12− Commons CC0 License. As such to the extent possible under law, /The
12+ Commons CC0 License. As such to the extent possible under law, *The
13− Idris Community/ has waived all copyright and related or neighboring
13+ Idris Community* has waived all copyright and related or neighboring
14 rights to Documentation for Idris.
14 rights to Documentation for Idris.
15
15
16 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
16 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
docs/reference/index.rst+2−2
@@ -10,8 +10,8 @@ This will tell you how Idris works, for using it you should read the Idris Tutor
10
10
11.. note::
11.. note::
12 The documentation for Idris has been published under the Creative
12 The documentation for Idris has been published under the Creative
13− Commons CC0 License. As such to the extent possible under law, /The
13+ Commons CC0 License. As such to the extent possible under law, *The
14− Idris Community/ has waived all copyright and related or neighboring
14+ Idris Community* has waived all copyright and related or neighboring
15 rights to Documentation for Idris.
15 rights to Documentation for Idris.
16
16
17 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
17 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
docs/tutorial/index.rst+2−2
@@ -8,8 +8,8 @@ The is the Idris Tutorial. It will teach you about programming in the Idris Lang
8
8
9.. note::
9.. note::
10 The documentation for Idris has been published under the Creative
10 The documentation for Idris has been published under the Creative
11− Commons CC0 License. As such to the extent possible under law, /The
11+ Commons CC0 License. As such to the extent possible under law, *The
12− Idris Community/ has waived all copyright and related or neighboring
12+ Idris Community* has waived all copyright and related or neighboring
13 rights to Documentation for Idris.
13 rights to Documentation for Idris.
14
14
15 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/
15 More information concerning the CC0 can be found online at: http://creativecommons.org/publicdomain/zero/1.0/