aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/program/licentia/license/term.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/program/licentia/license/term.lux')
-rw-r--r--stdlib/source/program/licentia/license/term.lux57
1 files changed, 27 insertions, 30 deletions
diff --git a/stdlib/source/program/licentia/license/term.lux b/stdlib/source/program/licentia/license/term.lux
index 31b3e4b5d..54b3b1cc4 100644
--- a/stdlib/source/program/licentia/license/term.lux
+++ b/stdlib/source/program/licentia/license/term.lux
@@ -1,37 +1,34 @@
(.module:
- [lux (#- Definition)
- [data
- ["." text
- format]]]
- [//
- ["." definition]])
+ [lux (#- Definition)]
+ ["." // #_
+ ["#." definition]])
(template [<term> <definition>]
[(def: #export <term>
Text
- (get@ #definition.term <definition>))]
+ (get@ #//definition.term <definition>))]
- [source-code-form definition.source-code-form]
- [object-form definition.object-form]
- [license definition.license]
- [licensable definition.licensable]
- [legal-entity definition.legal-entity]
- [recipient definition.recipient]
- [licensor definition.licensor]
- [work definition.work]
- [derivative-work definition.derivative-work]
- [submission definition.submission]
- [modification definition.modification]
- [required-component definition.required-component]
- [extension definition.extension]
- [contribution definition.contribution]
- [contributor definition.contributor]
- [patent-claim definition.patent-claim]
- [secondary-license definition.secondary-license]
- [sell definition.sell]
- [personal-use definition.personal-use]
- [serve definition.serve]
- [research definition.research]
- [deploy definition.deploy]
- [electronic-distribution-mechanism definition.electronic-distribution-mechanism]
+ [source-code-form //definition.source-code-form]
+ [object-form //definition.object-form]
+ [license //definition.license]
+ [licensable //definition.licensable]
+ [legal-entity //definition.legal-entity]
+ [recipient //definition.recipient]
+ [licensor //definition.licensor]
+ [work //definition.work]
+ [derivative-work //definition.derivative-work]
+ [submission //definition.submission]
+ [modification //definition.modification]
+ [required-component //definition.required-component]
+ [extension //definition.extension]
+ [contribution //definition.contribution]
+ [contributor //definition.contributor]
+ [patent-claim //definition.patent-claim]
+ [secondary-license //definition.secondary-license]
+ [sell //definition.sell]
+ [personal-use //definition.personal-use]
+ [serve //definition.serve]
+ [research //definition.research]
+ [deploy //definition.deploy]
+ [electronic-distribution-mechanism //definition.electronic-distribution-mechanism]
)