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.lux12
1 files changed, 6 insertions, 6 deletions
diff --git a/licentia/source/program/licentia/license/extension.lux b/licentia/source/program/licentia/license/extension.lux
index 0c9362a2b..cb2a3bddf 100644
--- a/licentia/source/program/licentia/license/extension.lux
+++ b/licentia/source/program/licentia/license/extension.lux
@@ -11,7 +11,7 @@
[//
["$" document]]])
-(def: .public sharing_requirement
+(def .public sharing_requirement
(List Text)
(let [on_extension (let [constraint (let [because "In consideration of, and as an express condition to, "
source (format "the licenses granted to " _.recipient
@@ -51,7 +51,7 @@
on_license_propagation
on_license_protection)))
-(def: .public license_conflict_resolution
+(def .public license_conflict_resolution
(List Text)
(let [on_other_licenses (let [circumstance (format "Where any portion of an " _.extension
" created by " _.recipient)
@@ -71,7 +71,7 @@
on_licensor_judgement
on_licensor_discretion)))
-(def: .public distinctness_requirement
+(def .public distinctness_requirement
($.paragraph (list (format "Any " _.extension
" " _.recipient
" does make and " _.deploy
@@ -79,14 +79,14 @@
" that the " _.extension
" is by " _.recipient))))
-(def: news_sources
+(def news_sources
(List Text)
(list "news groups"
"mailing lists"
"weblogs"
"other sites"))
-(def: .public (notification_requirement [start end])
+(def .public (notification_requirement [start end])
(-> (Period Months) Text)
(let [on_availability (format _.recipient
" must notify the software community of the availability of the " _.source_code_form
@@ -129,7 +129,7 @@
on_changes
on_accesibility))))
-(def: .public description_requirement
+(def .public description_requirement
Text
(let [on_duty (let [basic (format _.recipient
" must cause any " _.modification