diff options
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}) |