diff options
Diffstat (limited to '')
-rw-r--r-- | licentia/source/program/licentia/license/definition.lux | 94 |
1 files changed, 47 insertions, 47 deletions
diff --git a/licentia/source/program/licentia/license/definition.lux b/licentia/source/program/licentia/license/definition.lux index d9ddede8b..3d002311c 100644 --- a/licentia/source/program/licentia/license/definition.lux +++ b/licentia/source/program/licentia/license/definition.lux @@ -27,9 +27,9 @@ (def: commercial_services (List Text) - (let [services (: (-> Text Text) - (function (_ type) - (format type " services")))] + (let [services (is (-> Text Text) + (function (_ type) + (format type " services")))] (list (services "hosting") (services "consulting") (services "support")))) @@ -58,10 +58,10 @@ ($.paragraph (list (format "having the right to grant any and all of the rights conveyed by " (the #term license))))] [legal_entity "Legal Entity" - (let [abilities (: (List Text) - (list "to enter into contracts" - "to sue" - "to be sued"))] + (let [abilities (is (List Text) + (list "to enter into contracts" + "to sue" + "to be sued"))] ($.paragraph (list (format "any human or non-human entity that is recognized as having privileges and obligations, such as having the ability " ($.and abilities)))))] [recipient "Recipient" @@ -90,10 +90,10 @@ " and which represents an original " ..covered_work_description)))] [submission "Submission" - (let [forms_of_communication (: (List Text) - (list "electronic" - "verbal" - "written"))] + (let [forms_of_communication (is (List Text) + (list "electronic" + "verbal" + "written"))] ($.paragraph (list (format "any form of " ($.or forms_of_communication) " communication sent to " (the #term licensor) ", or its representatives, for the purpose of discussing and improving " (the #term licensed_work) ", but excluding communication that is designated in writing by the copyright owner as " not_a_contribution_notice))))] @@ -101,31 +101,31 @@ [modification "Modification" (let [alteration "any addition to, or deletion from, the substance or structure of" object "file or other storage" - targets (: (List Text) - (list (format "a " object " contained in " (the #term licensed_work)) - (format "any new " object " that contains any part of " (the #term licensed_work)) - (format "any " object " which replaces or otherwise alters the original functionality of "(the #term licensed_work) " at runtime")))] + targets (is (List Text) + (list (format "a " object " contained in " (the #term licensed_work)) + (format "any new " object " that contains any part of " (the #term licensed_work)) + (format "any " object " which replaces or otherwise alters the original functionality of "(the #term licensed_work) " at runtime")))] ($.paragraph (list (format alteration " " ($.or targets)))))] [required_component "Required Component" - (let [possibilities (: (List Text) - (list "text" - "program" - "script" - "schema" - "interface definition" - "control file" - "other work"))] + (let [possibilities (is (List Text) + (list "text" + "program" + "script" + "schema" + "interface definition" + "control file" + "other work"))] ($.paragraph (list (format "any " ($.or possibilities) " created by " (the #term recipient) " which is required by a third party to successfully install and run a " (the #term derivative_work) " by " (the #term recipient)))))] [extension "Extension" - (let [possibilities (: (List Text) - (list (the #term modification) - (the #term derivative_work) - (the #term required_component)))] + (let [possibilities (is (List Text) + (list (the #term modification) + (the #term derivative_work) + (the #term required_component)))] ($.paragraph (list (format "any " ($.or possibilities)))))] [contribution "Contribution" @@ -144,10 +144,10 @@ ", and subsequently incorporated within " (the #term licensed_work))))] [patent_claim (format "Patent Claim Of A " (the #term contributor)) - (let [claim_types (: (List Text) - (list "method" - "process" - "apparatus"))] + (let [claim_types (is (List Text) + (list "method" + "process" + "apparatus"))] ($.paragraph (list (format "any patent claim(s), including without limitation " ($.and claim_types) " claims, in any patent " (the #term licensable) " by such " (the #term contributor) " that would be infringed, but for the grant of " (the #term license) @@ -165,10 +165,10 @@ ", a product or service whose value derives, entirely or substantially, from the functionality of " (the #term licensed_work))))] [personal_use "Personal Use" - (let [valid_purposes (: (List Text) - (list "personal" - "private" - "non-commercial"))] + (let [valid_purposes (is (List Text) + (list "personal" + "private" + "non-commercial"))] ($.paragraph (list (format "use of " (the #term licensed_work) " by an individual solely for his or her " ($.and valid_purposes) " purposes") (format "An individual's use of " (the #term licensed_work) " in his or her capacity as an " ($.or individual_capacities) " does not qualify"))))] @@ -182,18 +182,18 @@ ($.paragraph (list (format "investigation or experimentation for the purpose of understanding the nature and limits of " (the #term licensed_work) " and its potential uses")))] [deploy "Deploy" - (let [deployment_types (: (List Text) - (list "use" - (the #term serve) - "sublicense" - "distribute")) - sub_licensing (: (-> Text Text) - (function (_ type) - (format type " sublicensing"))) - third_party_interactions (: (List Text) - (list (sub_licensing "direct") - (sub_licensing "indirect") - "distribution")) + (let [deployment_types (is (List Text) + (list "use" + (the #term serve) + "sublicense" + "distribute")) + sub_licensing (is (-> Text Text) + (function (_ type) + (format type " sublicensing"))) + third_party_interactions (is (List Text) + (list (sub_licensing "direct") + (sub_licensing "indirect") + "distribution")) basic_definition (format "to " ($.or deployment_types) " " (the #term licensed_work) " other than for internal " (the #term research) |