diff options
| author |  Adam Chlipala <adamc@csail.mit.edu> | 2017-03-17 14:27:47 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@csail.mit.edu> | 2017-03-17 14:27:47 -0400 |
| commit | 3aba065f1d069e033c6993ceac301adc25d865b3 (patch) | |
| tree | d07d6963edbe3358a4c435b95ba7475946f3c1b7 | |
| parent | a5ce7018a36a63fe07c7d4b5a801792213cc6fd7 (diff) | |
Extend license for tutorial code
| -rw-r--r-- | doc/LICENSE | 27 | ||||
| -rw-r--r-- | doc/intro.ur | 2 | ||||
| -rw-r--r-- | doc/tlc.ur | 2 |
3 files changed, 29 insertions, 2 deletions
diff --git a/doc/LICENSE b/doc/LICENSE new file mode 100644 index 00000000..af0d8487 --- /dev/null +++ b/doc/LICENSE @@ -0,0 +1,27 @@ +The code in the tutorials files (intro.ur and tlc.ur), excluding comments, is additionally released under the following license (same as for Ur/Web itself): + +Copyright (c) 2008-2011, Adam Chlipala +All rights reserved. + +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are met: + +- Redistributions of source code must retain the above copyright notice, + this list of conditions and the following disclaimer. +- Redistributions in binary form must reproduce the above copyright notice, + this list of conditions and the following disclaimer in the documentation + and/or other materials provided with the distribution. +- The names of contributors may not be used to endorse or promote products + derived from this software without specific prior written permission. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" +AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE +IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE +ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE +LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR +CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF +SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS +INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN +CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) +ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE +POSSIBILITY OF SUCH DAMAGE. diff --git a/doc/intro.ur b/doc/intro.ur index b08e2395..88b76b38 100644 --- a/doc/intro.ur +++ b/doc/intro.ur @@ -4,7 +4,7 @@ val show_string = mkShow (fn s => "\"" ^ s ^ "\"") (* end *) -(* This tutorial by <a href="http://adam.chlipala.net/">Adam Chlipala</a> is licensed under a <a href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License</a>. *) +(* This tutorial by <a href="http://adam.chlipala.net/">Adam Chlipala</a> is licensed under a <a href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License</a>. The code, but not the accompanying prose, is also released under the same license as Ur/Web itself. *) (* This is a tutorial for the <a href="http://www.impredicative.com/ur/">Ur/Web</a> programming language.<br> <br> @@ -4,7 +4,7 @@ val show_string = mkShow (fn s => "\"" ^ s ^ "\"") (* end *) -(* This tutorial by <a href="http://adam.chlipala.net/">Adam Chlipala</a> is licensed under a <a href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License</a>. *) +(* This tutorial by <a href="http://adam.chlipala.net/">Adam Chlipala</a> is licensed under a <a href="http://creativecommons.org/licenses/by-nc-nd/3.0/">Creative Commons Attribution-Noncommercial-No Derivative Works 3.0 Unported License</a>. The code, but not the accompanying prose, is also released under the same license as Ur/Web itself. *) (* The last chapter reviewed some Ur features imported from ML and Haskell. This chapter explores uncharted territory, introducing the features that make Ur unique. *) |