aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/program/licentia/license/extension.lux
diff options
context:
space:
mode:
Diffstat (limited to 'licentia/source/program/licentia/license/extension.lux')
-rw-r--r--licentia/source/program/licentia/license/extension.lux44
1 files changed, 22 insertions, 22 deletions
diff --git a/licentia/source/program/licentia/license/extension.lux b/licentia/source/program/licentia/license/extension.lux
index 38ad300a3..82a5a0243 100644
--- a/licentia/source/program/licentia/license/extension.lux
+++ b/licentia/source/program/licentia/license/extension.lux
@@ -1,15 +1,15 @@
(.using
- [library
- [lux "*"
- [data
- ["[0]" text
- ["%" format {"+" format}]]]]]
- ["[0]" // {"+" Extension}
- ["_" term]
- ["[0]" grant]
- [time {"+" Months Period}]
- [//
- ["$" document]]])
+ [library
+ [lux "*"
+ [data
+ ["[0]" text
+ ["%" format {"+" format}]]]]]
+ ["[0]" // {"+" Extension}
+ ["_" term]
+ ["[0]" grant]
+ [time {"+" Months Period}]
+ [//
+ ["$" document]]])
(def: .public sharing_requirement
(List Text)
@@ -136,20 +136,20 @@
" that " _.recipient
" creates, or to which " _.recipient
" contributes, to be documented in the " _.source_code_form)
- modification_types (: (List Text)
- (list "additions"
- "changes"
- "deletions"))
+ modification_types (is (List Text)
+ (list "additions"
+ "changes"
+ "deletions"))
details (format "clearly describing the " ($.and modification_types)
" that " _.recipient " made")]
(format basic ", " details))
- on_notice_location (let [statement_locations (: (List Text)
- (list (format "in the " _.source_code_form)
- (format "in any notice displayed by " _.licensed_work
- " " _.recipient
- " distributes")
- (format "in related documentation in which " _.recipient
- " describes the origin or ownership of " _.licensed_work)))]
+ on_notice_location (let [statement_locations (is (List Text)
+ (list (format "in the " _.source_code_form)
+ (format "in any notice displayed by " _.licensed_work
+ " " _.recipient
+ " distributes")
+ (format "in related documentation in which " _.recipient
+ " describes the origin or ownership of " _.licensed_work)))]
(format _.recipient
" must include a prominent statement that the " _.modification
" is derived, directly or indirectly, from " _.licensed_work