From 60430ee6dfffbeb220a3e8fee7336d54313467bc Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 5 Feb 2019 20:30:13 -0400
Subject: Folded license-making program (legislator) into the Lux project
 proper (as licentia).

---
 stdlib/source/program/licentia/license.lux | 58 ++++++++++++++++++++++++++++++
 1 file changed, 58 insertions(+)
 create 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
new file mode 100644
index 000000000..c77718ce7
--- /dev/null
+++ b/stdlib/source/program/licentia/license.lux
@@ -0,0 +1,58 @@
+(.module:
+  [lux #*]
+  [/
+   ["/." copyright]
+   [time (#+ Days Months Period)]])
+
+(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 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)})
-- 
cgit v1.2.3