Extracted Licentia out of the standard library.

1 files changed, 39 insertions, 39 deletions

diff --git a/stdlib/source/program/licentia/license/grant.lux b/licentia/source/program/licentia/license/grant.lux
index 0f45f3592..c79fcee09 100644
--- a/stdlib/source/program/licentia/license/grant.lux
+++ b/licentia/source/program/licentia/license/grant.lux
@@ -10,12 +10,12 @@
    [//
     ["$" document]]])
 
-(def: grant-header
+(def: grant_header
   (format "Subject to the terms and conditions of " _.license
           ", each " _.contributor
           " hereby grants to " _.recipient))
 
-(def: #export grant-characteristics
+(def: #export grant_characteristics
   (List Text)
   (list "perpetual"
         "world-wide"
@@ -24,7 +24,7 @@
         "royalty-free"
         "irrevocable"))
 
-(def: #export copyright-grant-rights
+(def: #export copyright_grant_rights
   (List Text)
   (list "use"
         "reproduce"
@@ -36,23 +36,23 @@
         "distribute"))
 
 (def: #export copyright
-  ($.sentence (format grant-header " a " ($.and ..grant-characteristics)
-                      " copyright license to " ($.or ..copyright-grant-rights)
+  ($.sentence (format grant_header " a " ($.and ..grant_characteristics)
+                      " copyright license to " ($.or ..copyright_grant_rights)
                       " " _.work
                       " and such an " _.extension
-                      " in a " _.source-code-form
-                      " or an " _.object-form)))
+                      " in a " _.source_code_form
+                      " or an " _.object_form)))
 
 (def: #export (patent retaliation?)
   (-> Bit Text)
-  (let [grant (format grant-header " a " ($.and ..grant-characteristics)
-                      " patent license to " ($.or definition.patent-rights) " "
+  (let [grant (format grant_header " a " ($.and ..grant_characteristics)
+                      " patent license to " ($.or definition.patent_rights) " "
                       _.work
-                      ", where such license applies only to any " _.patent-claim
+                      ", where such license applies only to any " _.patent_claim
                       " that is necessarily infringed by their " ($.plural _.contribution)
                       " alone or by combination of their " ($.plural _.contribution)
                       " with " _.work)
-        retaliation-clause (format "If " _.recipient " institutes patent litigation against any " _.legal-entity
+        retaliation_clause (format "If " _.recipient " institutes patent litigation against any " _.legal_entity
                                    " (including a cross-claim or counterclaim in a lawsuit) alleging that "
                                    _.work " or a " _.contribution
                                    " incorporated within " _.work " constitutes direct or contributory patent infringement"
@@ -62,7 +62,7 @@
                                    " shall terminate as of the date such litigation is filed")]
     ($.paragraph (list& grant
                         (if retaliation?
-                          (list retaliation-clause)
+                          (list retaliation_clause)
                           (list))))))
 
 (def: #export date
@@ -72,53 +72,53 @@
                       " on the date the " _.contributor
                       " first distributes such " _.contribution)))
 
-(def: restoration-scope "an ongoing basis")
+(def: restoration_scope "an ongoing basis")
 
-(def: #export (grant-restoration-clause termination-period)
+(def: #export (grant_restoration_clause termination_period)
   (-> Days Text)
-  (let [restoration-condition (format _.recipient " becomes compliant")
-        restored-grants (format "the rights granted under " _.license
+  (let [restoration_condition (format _.recipient " becomes compliant")
+        restored_grants (format "the rights granted under " _.license
                                 " from a particular " _.contributor)
-        invalidation-condition (format "such " _.contributor
+        invalidation_condition (format "such " _.contributor
                                        " explicitly and finally terminates the grants to " _.recipient)
-        complaint-period-condition (format "such " _.contributor
+        complaint_period_condition (format "such " _.contributor
                                            " fails to notify " _.recipient
-                                           " of the non-compliance by some reasonable means prior to " (%.nat termination-period)
+                                           " of the non-compliance by some reasonable means prior to " (%.nat termination_period)
                                            " " ($.plural "day") " after " _.recipient
                                            " has come back into compliance")]
-    (format "However, if " restoration-condition ", then " restored-grants " are reinstated provisionally"
-            ", unless and until " invalidation-condition
-            ", and on " ..restoration-scope ", if " complaint-period-condition)))
+    (format "However, if " restoration_condition ", then " restored_grants " are reinstated provisionally"
+            ", unless and until " invalidation_condition
+            ", and on " ..restoration_scope ", if " complaint_period_condition)))
 
-(def: #export (grace-period-clause grace-period)
+(def: #export (grace_period_clause grace_period)
   (-> Days Text)
-  (let [the-grants (format "grants to " _.recipient " from a particular " _.contributor)
-        automatic-restoration-conditions (let [notification (format "such " _.contributor
+  (let [the_grants (format "grants to " _.recipient " from a particular " _.contributor)
+        automatic_restoration_conditions (let [notification (format "such " _.contributor
                                                                     " notifies " _.recipient
                                                                     " of the non-compliance by some reasonable means")
-                                               first-offense (format "this is the first time " _.recipient
+                                               first_offense (format "this is the first time " _.recipient
                                                                      " has received notice of non-compliance with " _.license
                                                                      " from such " _.contributor)
-                                               prompt-compliance (format _.recipient
-                                                                         " becomes compliant prior to " (%.nat grace-period)
+                                               prompt_compliance (format _.recipient
+                                                                         " becomes compliant prior to " (%.nat grace_period)
                                                                          " " ($.plural "day") " after reception of the notice")]
                                            ($.and (list notification
-                                                        first-offense
-                                                        prompt-compliance)))]
-    (format "Moreover, " the-grants
-            " are reinstated on " ..restoration-scope
-            " if " automatic-restoration-conditions)))
+                                                        first_offense
+                                                        prompt_compliance)))]
+    (format "Moreover, " the_grants
+            " are reinstated on " ..restoration_scope
+            " if " automatic_restoration_conditions)))
 
-(def: #export (termination termination-period grace-period)
+(def: #export (termination termination_period grace_period)
   (-> Days Days Text)
-  (let [on-violation-of-terms (let [what (format "The rights granted under " _.license)
+  (let [on_violation_of_terms (let [what (format "The rights granted under " _.license)
                                     when (format _.recipient " fails to comply with any of its terms")]
                                 (format what " will terminate automatically if " when))]
-    ($.paragraph (list on-violation-of-terms
-                       (..grant-restoration-clause termination-period)
-                       (..grace-period-clause grace-period)))))
+    ($.paragraph (list on_violation_of_terms
+                       (..grant_restoration_clause termination_period)
+                       (..grace_period_clause grace_period)))))
 
-(def: #export no-retroactive-termination
+(def: #export no_retroactive_termination
   (let [situation "In the event of termination"
         coverage "all end user license agreements"
         exclusions "(excluding licenses to distributors and resellers)"