diff options
| author | Eduardo Julian | 2021-06-14 18:33:54 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-06-14 18:33:54 -0400 |
| commit | 519c0c0c71cdf7ce3dfc64b9781ab826760b3d94 (patch) | |
| tree | 75fa0672afceff129e5e75afb7a5fed197ce1773 /stdlib/source/program/licentia/license.lux | |
| parent | af3e6e2cb011dc2ad9204440990731a2f272716d (diff) | |
Extracted Licentia out of the standard library.
Diffstat (limited to '')
| -rw-r--r-- | licentia/source/program/licentia/license.lux (renamed from stdlib/source/program/licentia/license.lux) | 38 |
1 files changed, 19 insertions, 19 deletions
diff --git a/stdlib/source/program/licentia/license.lux b/licentia/source/program/licentia/license.lux index c62c8419d..ad7328641 100644 --- a/stdlib/source/program/licentia/license.lux +++ b/licentia/source/program/licentia/license.lux @@ -9,54 +9,54 @@ #version Text}) (type: #export Termination - {#patent-retaliation? Bit - #termination-period Days - #grace-period Days}) + {#patent_retaliation? Bit + #termination_period Days + #grace_period Days}) (type: #export Liability - {#can-accept? Bit - #disclaim-high-risk? Bit}) + {#can_accept? Bit + #disclaim_high_risk? Bit}) (type: #export Distribution - {#can-re-license? Bit - #can-multi-license? Bit}) + {#can_re_license? Bit + #can_multi_license? Bit}) (type: #export Commercial - {#can-sell? Bit - #require-contributor-credit? Bit - #allow-contributor-endorsement? Bit}) + {#can_sell? Bit + #require_contributor_credit? Bit + #allow_contributor_endorsement? Bit}) (type: #export Extension - {#same-license? Bit - #must-be-distinguishable? Bit - #notification-period (Maybe (Period Months)) - #must-describe-modifications? Bit}) + {#same_license? Bit + #must_be_distinguishable? Bit + #notification_period (Maybe (Period Months)) + #must_describe_modifications? Bit}) (type: #export Entity Text) -(type: #export Black-List +(type: #export Black_List {#justification (Maybe Text) #entities (List Entity)}) (type: #export URL Text) (type: #export Attribution - {#copyright-notice Text + {#copyright_notice Text #phrase (Maybe Text) #url URL #image (Maybe URL)}) (type: #export Addendum - {#commons-clause? Bit}) + {#commons_clause? Bit}) (type: #export License - {#copyright-holders (List /copyright.Holder) + {#copyright_holders (List /copyright.Holder) #identification (Maybe Identification) #termination Termination #liability Liability #distribution Distribution #commercial Commercial #extension Extension - #black-lists (List Black-List) + #black_lists (List Black_List) #attribution (Maybe Attribution) #addendum Addendum}) |