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 'stdlib/source/program/licentia/license.lux')
-rw-r--r-- | stdlib/source/program/licentia/license.lux | 62 |
1 files changed, 0 insertions, 62 deletions
diff --git a/stdlib/source/program/licentia/license.lux b/stdlib/source/program/licentia/license.lux deleted file mode 100644 index c62c8419d..000000000 --- a/stdlib/source/program/licentia/license.lux +++ /dev/null @@ -1,62 +0,0 @@ -(.module: - [lux #*] - ["." / #_ - [time (#+ Days Months Period)] - ["#." copyright]]) - -(type: #export Identification - {#name Text - #version Text}) - -(type: #export Termination - {#patent-retaliation? Bit - #termination-period Days - #grace-period Days}) - -(type: #export Liability - {#can-accept? Bit - #disclaim-high-risk? Bit}) - -(type: #export Distribution - {#can-re-license? Bit - #can-multi-license? Bit}) - -(type: #export Commercial - {#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}) - -(type: #export Entity Text) - -(type: #export Black-List - {#justification (Maybe Text) - #entities (List Entity)}) - -(type: #export URL Text) - -(type: #export Attribution - {#copyright-notice Text - #phrase (Maybe Text) - #url URL - #image (Maybe URL)}) - -(type: #export Addendum - {#commons-clause? Bit}) - -(type: #export License - {#copyright-holders (List /copyright.Holder) - #identification (Maybe Identification) - #termination Termination - #liability Liability - #distribution Distribution - #commercial Commercial - #extension Extension - #black-lists (List Black-List) - #attribution (Maybe Attribution) - #addendum Addendum}) |