aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/program
diff options
context:
space:
mode:
authorEduardo Julian2022-06-03 20:02:46 -0400
committerEduardo Julian2022-06-03 20:02:46 -0400
commit3e7d188cbe7bc9bce4a14318e2f62583fe2501d1 (patch)
tree9dde4f6cb8f16829b2fa43fbccffaa1b3e2659bd /licentia/source/program
parent0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (diff)
Extensible import syntax [Part 4]
Diffstat (limited to '')
-rw-r--r--licentia/source/program/licentia.lux2
-rw-r--r--licentia/source/program/licentia/input.lux4
-rw-r--r--licentia/source/program/licentia/license.lux4
-rw-r--r--licentia/source/program/licentia/license/addendum.lux2
-rw-r--r--licentia/source/program/licentia/license/assurance.lux2
-rw-r--r--licentia/source/program/licentia/license/black_list.lux2
-rw-r--r--licentia/source/program/licentia/license/commercial.lux2
-rw-r--r--licentia/source/program/licentia/license/copyright.lux2
-rw-r--r--licentia/source/program/licentia/license/distribution.lux2
-rw-r--r--licentia/source/program/licentia/license/extension.lux2
-rw-r--r--licentia/source/program/licentia/license/grant.lux2
-rw-r--r--licentia/source/program/licentia/license/liability.lux2
-rw-r--r--licentia/source/program/licentia/license/limitation.lux4
-rw-r--r--licentia/source/program/licentia/license/miscellaneous.lux4
-rw-r--r--licentia/source/program/licentia/license/notice.lux4
-rw-r--r--licentia/source/program/licentia/license/submission.lux2
-rw-r--r--licentia/source/program/licentia/license/term.lux2
-rw-r--r--licentia/source/program/licentia/license/time.lux2
18 files changed, 23 insertions, 23 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux
index 92b1ca33a..05ea0a2f7 100644
--- a/licentia/source/program/licentia.lux
+++ b/licentia/source/program/licentia.lux
@@ -38,7 +38,7 @@
["[0]" json]]]
[world
["[0]" file]]]]
- ["[0]" / "_"
+ ["[0]" /
["[1][0]" input]
["[1][0]" output]])
diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux
index bc15a805e..2e821d062 100644
--- a/licentia/source/program/licentia/input.lux
+++ b/licentia/source/program/licentia/input.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[abstract
[monad (.only do)]]
[control
@@ -15,7 +15,7 @@
["n" nat]
["i" int]
["f" frac]]]]]
- ["[0]" // "_"
+ ["[0]" //
["[1]" license (.only Identification
Termination
Liability
diff --git a/licentia/source/program/licentia/license.lux b/licentia/source/program/licentia/license.lux
index 997206aea..a5633e0e3 100644
--- a/licentia/source/program/licentia/license.lux
+++ b/licentia/source/program/licentia/license.lux
@@ -1,7 +1,7 @@
(.using
[library
- [lux (.full)]]
- ["[0]" / "_"
+ [lux (.except)]]
+ ["[0]" /
[time (.only Days Months Period)]
["[1][0]" copyright]])
diff --git a/licentia/source/program/licentia/license/addendum.lux b/licentia/source/program/licentia/license/addendum.lux
index efc357b0a..a30e271e7 100644
--- a/licentia/source/program/licentia/license/addendum.lux
+++ b/licentia/source/program/licentia/license/addendum.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
[text
["%" format (.only format)]]]]]
diff --git a/licentia/source/program/licentia/license/assurance.lux b/licentia/source/program/licentia/license/assurance.lux
index 9e02ababb..37dd3ae5b 100644
--- a/licentia/source/program/licentia/license/assurance.lux
+++ b/licentia/source/program/licentia/license/assurance.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
["[0]" text
["%" format (.only format)]]]]]
diff --git a/licentia/source/program/licentia/license/black_list.lux b/licentia/source/program/licentia/license/black_list.lux
index 6ec0d4bfb..85338d15b 100644
--- a/licentia/source/program/licentia/license/black_list.lux
+++ b/licentia/source/program/licentia/license/black_list.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[control
["[0]" maybe ("[1]#[0]" functor)]]
[data
diff --git a/licentia/source/program/licentia/license/commercial.lux b/licentia/source/program/licentia/license/commercial.lux
index c49fa3422..e750c9de6 100644
--- a/licentia/source/program/licentia/license/commercial.lux
+++ b/licentia/source/program/licentia/license/commercial.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
["[0]" text
["%" format (.only format)]]]]]
diff --git a/licentia/source/program/licentia/license/copyright.lux b/licentia/source/program/licentia/license/copyright.lux
index fc7dffde6..6e4bfab07 100644
--- a/licentia/source/program/licentia/license/copyright.lux
+++ b/licentia/source/program/licentia/license/copyright.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)]]
+ [lux (.except)]]
[//
[time (.only Year Period)]])
diff --git a/licentia/source/program/licentia/license/distribution.lux b/licentia/source/program/licentia/license/distribution.lux
index 6e734f017..396bdd4ec 100644
--- a/licentia/source/program/licentia/license/distribution.lux
+++ b/licentia/source/program/licentia/license/distribution.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
["[0]" text
["%" format (.only format)]]
diff --git a/licentia/source/program/licentia/license/extension.lux b/licentia/source/program/licentia/license/extension.lux
index 9209b3bff..6e93b366c 100644
--- a/licentia/source/program/licentia/license/extension.lux
+++ b/licentia/source/program/licentia/license/extension.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
["[0]" text
["%" format (.only format)]]]]]
diff --git a/licentia/source/program/licentia/license/grant.lux b/licentia/source/program/licentia/license/grant.lux
index 1f4b93f03..bd319a1dc 100644
--- a/licentia/source/program/licentia/license/grant.lux
+++ b/licentia/source/program/licentia/license/grant.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
["[0]" text
["%" format (.only format)]]]]]
diff --git a/licentia/source/program/licentia/license/liability.lux b/licentia/source/program/licentia/license/liability.lux
index cc56738d9..661ce8b52 100644
--- a/licentia/source/program/licentia/license/liability.lux
+++ b/licentia/source/program/licentia/license/liability.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
["[0]" text
["%" format (.only format)]]]]]
diff --git a/licentia/source/program/licentia/license/limitation.lux b/licentia/source/program/licentia/license/limitation.lux
index c65477b04..dd02ad7dc 100644
--- a/licentia/source/program/licentia/license/limitation.lux
+++ b/licentia/source/program/licentia/license/limitation.lux
@@ -1,8 +1,8 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
- ["[0]" text
+ [text
["%" format (.only format)]]]]]
[//
["_" term]
diff --git a/licentia/source/program/licentia/license/miscellaneous.lux b/licentia/source/program/licentia/license/miscellaneous.lux
index 83965b5dd..2e85786d5 100644
--- a/licentia/source/program/licentia/license/miscellaneous.lux
+++ b/licentia/source/program/licentia/license/miscellaneous.lux
@@ -1,8 +1,8 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
- ["[0]" text
+ [text
["%" format (.only format)]]]]]
[//
["_" term]
diff --git a/licentia/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux
index 34dc7c429..009401794 100644
--- a/licentia/source/program/licentia/license/notice.lux
+++ b/licentia/source/program/licentia/license/notice.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
["[0]" text
["%" format (.only format)]]
@@ -9,7 +9,7 @@
[math
[number
["n" nat]]]]]
- ["[0]" // "_"
+ ["[0]" //
["[1][0]" time]
["[1][0]" copyright]
["_" term]
diff --git a/licentia/source/program/licentia/license/submission.lux b/licentia/source/program/licentia/license/submission.lux
index b596470ea..98765ad92 100644
--- a/licentia/source/program/licentia/license/submission.lux
+++ b/licentia/source/program/licentia/license/submission.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)
+ [lux (.except)
[data
["[0]" text
["%" format (.only format)]]]]]
diff --git a/licentia/source/program/licentia/license/term.lux b/licentia/source/program/licentia/license/term.lux
index 370a8829f..87f94860a 100644
--- a/licentia/source/program/licentia/license/term.lux
+++ b/licentia/source/program/licentia/license/term.lux
@@ -1,7 +1,7 @@
(.using
[library
[lux (.except Definition)]]
- ["[0]" // "_"
+ ["[0]" //
["[1][0]" definition]])
(template [<term> <definition>]
diff --git a/licentia/source/program/licentia/license/time.lux b/licentia/source/program/licentia/license/time.lux
index 10956aed3..eb08fe651 100644
--- a/licentia/source/program/licentia/license/time.lux
+++ b/licentia/source/program/licentia/license/time.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux (.full)]])
+ [lux (.except)]])
(type: .public Days
Nat)