From 519c0c0c71cdf7ce3dfc64b9781ab826760b3d94 Mon Sep 17 00:00:00 2001 From: Eduardo Julian Date: Mon, 14 Jun 2021 18:33:54 -0400 Subject: Extracted Licentia out of the standard library. --- stdlib/source/program/licentia/license.lux | 62 ------------------------------ 1 file changed, 62 deletions(-) delete mode 100644 stdlib/source/program/licentia/license.lux (limited to 'stdlib/source/program/licentia/license.lux') 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}) -- cgit v1.2.3