mirror of
https://github.com/anoma/juvix.git
synced 2024-10-26 09:45:47 +03:00
Add Haddock and Agda licenses (#1506)
This commit is contained in:
parent
d64cf13d30
commit
2fba48a4b1
1
.gitignore
vendored
1
.gitignore
vendored
@ -59,7 +59,6 @@ TAGS
|
||||
_build/
|
||||
*.agdai
|
||||
.agda/
|
||||
agda/
|
||||
agda2hs/
|
||||
docs/*.html
|
||||
*.cabal
|
||||
|
101
licenses/agda/LICENSE
Normal file
101
licenses/agda/LICENSE
Normal file
@ -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.
|
3
licenses/agda/readme.org
Normal file
3
licenses/agda/readme.org
Normal file
@ -0,0 +1,3 @@
|
||||
#+title: Readme
|
||||
|
||||
We have copied [[https://github.com/agda/agda][Agda]]'s input method and adapted it to Juvix.
|
26
licenses/haddock/LICENSE
Normal file
26
licenses/haddock/LICENSE
Normal file
@ -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.
|
4
licenses/haddock/readme.org
Normal file
4
licenses/haddock/readme.org
Normal file
@ -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.
|
3
licenses/readme.org
Normal file
3
licenses/readme.org
Normal file
@ -0,0 +1,3 @@
|
||||
#+title: Licences
|
||||
|
||||
This folder contains licences from each of the projects from which we have borrowed some code.
|
Loading…
Reference in New Issue
Block a user