diff options
Diffstat (limited to 'stdlib/source/program/licentia/license/limitation.lux')
| -rw-r--r-- | stdlib/source/program/licentia/license/limitation.lux | 75 |
1 files changed, 0 insertions, 75 deletions
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)))) |