diff --git a/LICENSE b/LICENSE index ba1ab9c5716effe16d3cb7d8cf7ccca059bfaa06..bd2b3d5ba5b37d375a82eca9b05bc119521225b1 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,15 @@ All files in this development are distributed under the terms of the 3-clause BSD license (https://opensource.org/licenses/BSD-3-Clause), included below. +Except where otherwise noted below, all files in this development are + Copyright: The Semantics Course Team and Contributors + Current contributors are: + - Simon Spies + - Lennard Gäher + +Exceptions apply for code re-used from other projects. +This is noted in the respective file headers and the copyright is reproduced below. + This development also includes files based on the Iris development (https://gitlab.mpi-sws.org/iris/iris) and licensed under the 3-clause BSD license: Copyright: Iris developers and contributors