From ba514e99f34bbbb564fd5c77526de6c56e9d6d67 Mon Sep 17 00:00:00 2001 From: Jan Mas Rovira Date: Thu, 1 Sep 2022 12:21:39 +0200 Subject: [PATCH] Add Haddock and Agda licenses --- .gitignore | 1 - licenses/agda/LICENSE | 101 ++++++++++++++++++++++++++++++++++++ licenses/agda/readme.org | 3 ++ licenses/haddock/LICENSE | 26 ++++++++++ licenses/haddock/readme.org | 4 ++ licenses/readme.org | 3 ++ 6 files changed, 137 insertions(+), 1 deletion(-) create mode 100644 licenses/agda/LICENSE create mode 100644 licenses/agda/readme.org create mode 100644 licenses/haddock/LICENSE create mode 100644 licenses/haddock/readme.org create mode 100644 licenses/readme.org diff --git a/.gitignore b/.gitignore index e71219f987..587447d2cd 100644 --- a/.gitignore +++ b/.gitignore @@ -59,7 +59,6 @@ TAGS _build/ *.agdai .agda/ -agda/ agda2hs/ docs/*.html *.cabal diff --git a/licenses/agda/LICENSE b/licenses/agda/LICENSE new file mode 100644 index 0000000000..af3fef33e8 --- /dev/null +++ b/licenses/agda/LICENSE @@ -0,0 +1,101 @@ +Copyright (c) 2005-2021 remains with the authors. +Agda 2 was originally written by Ulf Norell, +partially based on code from Agda 1 by Catarina Coquand and Makoto Takeyama, +and from Agdalight by Ulf Norell and Andreas Abel. + +Agda 2 is currently actively developed mainly by Andreas Abel, +Guillaume Allais, Liang-Ting Chen, Jesper Cockx, Matthew Daggitt, Nils +Anders Danielsson, Ulf Norell, Andrés Sicard-Ramírez, and Andrea +Vezzosi. + +Further, Agda 2 has received contributions by, amongst others, Stevan +Andjelkovic, Marcin Benke, Jean-Philippe Bernardy, Guillaume Brunerie, +James Chapman, Dominique Devriese, Péter Diviánszky, Robert Estelle, +Olle Fredriksson, Adam Gundry, Daniel Gustafsson, Philipp Hausmann, +Alan Jeffrey, Wolfram Kahl, Wen Kokke, John Leo, Fredrik Lindblad, +Víctor López Juan, Ting-Gan Lua, Francesco Mazzoli, Stefan Monnier, +Guilhem Moulin, Fredrik Nordvall Forsberg, Nicolas Pouillard, Jonathan +Prieto, Christian Sattler, Makoto Takeyama, Noam Zeilberger, and Tesla +Ice Zhang. The full list of contributors is available at +https://github.com/agda/agda/graphs/contributors or from the git +repository via ``git shortlog -sne``. + +Permission is hereby granted, free of charge, to any person obtaining +a copy of this software and associated documentation files (the +"Software"), to deal in the Software without restriction, including +without limitation the rights to use, copy, modify, merge, publish, +distribute, sublicense, and/or sell copies of the Software, and to +permit persons to whom the Software is furnished to do so, subject to +the following conditions: + +The above copyright notice and this permission notice shall be +included in all copies or substantial portions of the Software. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, +EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF +MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. +IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY +CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, +TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE +SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. + +-------------------------------------------------------------------------------- + +The file src/full/Agda/Utils/Maybe/Strict.hs (and the following +license text?) uses the following license: + +Copyright (c) Roman Leshchinskiy 2006-2007 + +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions +are met: + +1. Redistributions of source code must retain the above copyright + notice, this list of conditions and the following disclaimer. +2. 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. +3. Neither the name of the author nor the names of his contributors + may be used to endorse or promote products derived from this software + without specific prior written permission. + +THIS SOFTWARE IS PROVIDED BY THE 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 AUTHORS 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. + +------------------------------------------------------------------------ + +The file src/data/html/highlight-hover.js (and the following licence +text?) seems to use the following licence: + +Copyright 2002-2010, Simon Marlow. 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. + +THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS "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 HOLDERS 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/licenses/agda/readme.org b/licenses/agda/readme.org new file mode 100644 index 0000000000..a55a2abe90 --- /dev/null +++ b/licenses/agda/readme.org @@ -0,0 +1,3 @@ +#+title: Readme + +We have copied [[https://github.com/agda/agda][Agda]]'s input method and adapted it to Juvix. diff --git a/licenses/haddock/LICENSE b/licenses/haddock/LICENSE new file mode 100644 index 0000000000..d5f0b37c41 --- /dev/null +++ b/licenses/haddock/LICENSE @@ -0,0 +1,26 @@ +Copyright (c) 2002-2010, Simon Marlow +All rights reserved. + +Redistribution and use in source and binary forms, with or without +modification, are permitted provided that the following conditions are +met: + +1. Redistributions of source code must retain the above copyright + notice, this list of conditions and the following disclaimer. + +2. 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. + +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/licenses/haddock/readme.org b/licenses/haddock/readme.org new file mode 100644 index 0000000000..32b521da75 --- /dev/null +++ b/licenses/haddock/readme.org @@ -0,0 +1,4 @@ +#+title: Readme + +We copied the CSS style from the [[https://github.com/haskell/haddock][Haddock project]] and adapted it for our +documentation generator. diff --git a/licenses/readme.org b/licenses/readme.org new file mode 100644 index 0000000000..00b40d0576 --- /dev/null +++ b/licenses/readme.org @@ -0,0 +1,3 @@ +#+title: Licences + +This folder contains licences from each of the projects from which we have borrowed some code.