From 519c0c0c71cdf7ce3dfc64b9781ab826760b3d94 Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 14 Jun 2021 18:33:54 -0400
Subject: Extracted Licentia out of the standard library.

---
 .../source/program/licentia/license/limitation.lux | 75 ----------------------
 1 file changed, 75 deletions(-)
 delete mode 100644 stdlib/source/program/licentia/license/limitation.lux

(limited to 'stdlib/source/program/licentia/license/limitation.lux')

diff --git a/stdlib/source/program/licentia/license/limitation.lux b/stdlib/source/program/licentia/license/limitation.lux
deleted file mode 100644
index 1617d9909..000000000
--- a/stdlib/source/program/licentia/license/limitation.lux
+++ /dev/null
@@ -1,75 +0,0 @@
-(.module:
-  [lux #*
-   [data
-    ["." text
-     ["%" format (#+ format)]]]]
-  [//
-   ["_" term]
-   [//
-    ["$" document]]])
-
-(def: #export acceptance
-  (let [abilities (: (List Text)
-                     (list "use"
-                           "copy"
-                           "distribute"
-                           "modify"
-                           (format "create an " _.extension
-                                   " of either " _.work
-                                   " or any " _.extension
-                                   " created by a " _.contributor)))
-        acknowledgement (format _.recipient
-                                " is not required to accept " _.license
-                                " since " _.recipient
-                                " has not signed it")
-        limitation (format "However, nothing else grants " _.recipient
-                           " permission to " ($.or abilities))
-        warning (format "These actions are prohibited by law if " _.recipient
-                        " does not accept " _.license)
-        implicit-acceptance (let [activation-condition "by performing any of these actions"
-                                  acceptance (format _.recipient
-                                                     " indicates that " _.recipient
-                                                     " accepts " _.license)
-                                  agreement (format _.recipient " agrees to be bound by all its terms and conditions")]
-                              (format "Therefore, " activation-condition ", " ($.and (list acceptance agreement))))
-        prohibition-due-to-non-agreement (format "If " _.recipient
-                                                 " does not agree with all the terms and conditions of " _.license
-                                                 ", " _.recipient " can not " ($.or abilities))
-        prohibition-due-to-impossibility (format "If it is impossible for " _.recipient
-                                                 " to comply with all the terms and conditions of " _.license
-                                                 ", then " _.recipient
-                                                 " can not " ($.or abilities))]
-    ($.paragraph (list acknowledgement
-                       limitation
-                       warning
-                       implicit-acceptance
-                       prohibition-due-to-non-agreement
-                       prohibition-due-to-impossibility))))
-
-(def: #export grant
-  ($.paragraph (list (format "The licenses granted in this document are the only rights granted under " _.license)
-                     (format "No additional rights or licenses will be implied from the distribution or licensing of " _.work
-                             " under " _.license)
-                     (format "No patent license is granted by a " _.contributor
-                             " for any code that the " _.contributor
-                             " has removed from " _.work))))
-
-(def: identifiers
-  (List Text)
-  (list "trade names"
-        "trademarks"
-        "service marks"
-        "product names"
-        "logos"))
-
-(def: #export trademark
-  ($.paragraph (list (format _.license " does not grant any permission to use the " ($.or ..identifiers)
-                             " of any " _.contributor
-                             "; except as required for reasonable and customary use in describing the origin of "
-                             _.work))))
-
-(def: #export secondary-licenses
-  ($.paragraph (list (format "No " _.contributor
-                             " makes additional grants as a result of a choice by " _.recipient
-                             " to distribute " _.work
-                             " under a under the terms of a " _.secondary-license))))
-- 
cgit v1.2.3