aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/program/licentia/output.lux
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--licentia/source/program/licentia/output.lux26
1 files changed, 13 insertions, 13 deletions
diff --git a/licentia/source/program/licentia/output.lux b/licentia/source/program/licentia/output.lux
index 9494d1428..d36a6d900 100644
--- a/licentia/source/program/licentia/output.lux
+++ b/licentia/source/program/licentia/output.lux
@@ -36,16 +36,16 @@
["[0]" addendum]]
["$" document]])
-(def: .public (definition value)
+(def .public (definition value)
(-> Definition Text)
(format ($.quote (the definition.#term value)) ": " (the definition.#meaning value)))
-(def: .public (identification value)
+(def .public (identification value)
(-> Identification Text)
(format (the license.#name value) text.new_line
(the license.#version value)))
-(def: .public (grant termination)
+(def .public (grant termination)
(-> Termination Text)
(`` (format (~~ (with_template [<title> <content>]
[($.block ($.section [#$.title <title>
@@ -67,7 +67,7 @@
["No Retroactive Effect of Termination"
grant.no_retroactive_termination])))))
-(def: .public limitation
+(def .public limitation
Text
(`` (format (~~ (with_template [<title> <content>]
[($.block ($.section [#$.title <title>
@@ -82,7 +82,7 @@
[(format "Limitations on " ($.plural _.secondary_license))
limitation.secondary_licenses])))))
-(def: .public assurance
+(def .public assurance
Text
(`` (format (~~ (with_template [<title> <content>]
[($.block ($.section [#$.title <title>
@@ -94,7 +94,7 @@
["Fair Use"
assurance.fair_use])))))
-(def: .public (liability value)
+(def .public (liability value)
(-> Liability Text)
(`` (format (~~ (with_template [<title> <condition> <content>]
[(if <condition>
@@ -122,7 +122,7 @@
(the license.#disclaim_high_risk? value)
liability.disclaim_high_risk])))))
-(def: .public (distribution distribution)
+(def .public (distribution distribution)
(-> Distribution Text)
(`` (format (~~ (with_template [<title> <condition> <content>]
[(if <condition>
@@ -143,7 +143,7 @@
(the license.#can_multi_license? distribution))
(distribution.extension distribution)])))))
-(def: .public (commercial value)
+(def .public (commercial value)
(-> Commercial Text)
(`` (format (~~ (with_template [<title> <condition> <content>]
[(if <condition>
@@ -164,7 +164,7 @@
commercial.disallow_contributor_endorsement]
)))))
-(def: .public (extension value)
+(def .public (extension value)
(-> Extension Text)
(let [[show? document] (case (the license.#notification_period value)
{.#Some period}
@@ -191,7 +191,7 @@
[(the license.#must_describe_modifications? value) (format "Description of " ($.plural _.modification))
extension.description_requirement]))))))
-(def: .public (attribution value)
+(def .public (attribution value)
(-> Attribution Text)
(let [copyright_notice (format "Attribution Copyright Notice: " (the license.#copyright_notice value))
phrase (case (the license.#phrase value)
@@ -212,7 +212,7 @@
url
image)))
-(def: .public (miscellaneous identified?)
+(def .public (miscellaneous identified?)
(-> Bit Text)
(`` (format (~~ (with_template [<title> <condition> <content>]
[(if <condition>
@@ -249,9 +249,9 @@
miscellaneous.new_versions]
)))))
-(def: black_list_spacing (format text.new_line text.new_line))
+(def black_list_spacing (format text.new_line text.new_line))
-(def: .public (license value)
+(def .public (license value)
(-> License Text)
(let [identification (|> value
(the license.#identification)