aboutsummaryrefslogtreecommitdiff
path: root/licentia/source/program
diff options
context:
space:
mode:
authorEduardo Julian2022-06-02 13:56:01 -0400
committerEduardo Julian2022-06-02 13:56:01 -0400
commit0e34448e5c0ffd9c39d67c2f859e91942e1ab0a4 (patch)
tree86bc717f0afb31042c7fc25d22a15eba6826a7ad /licentia/source/program
parent6d1dcfd9125b891b3425dd6fe27a91bdc959891e (diff)
Extensible import syntax [Part 3]
Diffstat (limited to '')
-rw-r--r--licentia/source/program/licentia.lux2
-rw-r--r--licentia/source/program/licentia/input.lux2
-rw-r--r--licentia/source/program/licentia/license.lux2
-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.lux2
-rw-r--r--licentia/source/program/licentia/license/miscellaneous.lux2
-rw-r--r--licentia/source/program/licentia/license/notice.lux2
-rw-r--r--licentia/source/program/licentia/license/submission.lux2
-rw-r--r--licentia/source/program/licentia/license/time.lux2
17 files changed, 17 insertions, 17 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux
index 2a5da043f..92b1ca33a 100644
--- a/licentia/source/program/licentia.lux
+++ b/licentia/source/program/licentia.lux
@@ -13,7 +13,7 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[ffi (.only import:)]
[program (.only program:)]
["[0]" debug]
diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux
index 21de87b90..bc15a805e 100644
--- a/licentia/source/program/licentia/input.lux
+++ b/licentia/source/program/licentia/input.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[abstract
[monad (.only do)]]
[control
diff --git a/licentia/source/program/licentia/license.lux b/licentia/source/program/licentia/license.lux
index 6fce41a82..997206aea 100644
--- a/licentia/source/program/licentia/license.lux
+++ b/licentia/source/program/licentia/license.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"]]
+ [lux (.full)]]
["[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 2fe9e1c9a..efc357b0a 100644
--- a/licentia/source/program/licentia/license/addendum.lux
+++ b/licentia/source/program/licentia/license/addendum.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[data
[text
["%" format (.only format)]]]]]
diff --git a/licentia/source/program/licentia/license/assurance.lux b/licentia/source/program/licentia/license/assurance.lux
index de2538a5d..9e02ababb 100644
--- a/licentia/source/program/licentia/license/assurance.lux
+++ b/licentia/source/program/licentia/license/assurance.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[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 be1c01f2e..6ec0d4bfb 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 "*"
+ [lux (.full)
[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 20279179c..c49fa3422 100644
--- a/licentia/source/program/licentia/license/commercial.lux
+++ b/licentia/source/program/licentia/license/commercial.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[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 c20dc5f64..fc7dffde6 100644
--- a/licentia/source/program/licentia/license/copyright.lux
+++ b/licentia/source/program/licentia/license/copyright.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"]]
+ [lux (.full)]]
[//
[time (.only Year Period)]])
diff --git a/licentia/source/program/licentia/license/distribution.lux b/licentia/source/program/licentia/license/distribution.lux
index 4632536ba..6e734f017 100644
--- a/licentia/source/program/licentia/license/distribution.lux
+++ b/licentia/source/program/licentia/license/distribution.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[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 00075dd35..9209b3bff 100644
--- a/licentia/source/program/licentia/license/extension.lux
+++ b/licentia/source/program/licentia/license/extension.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[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 38344fb24..1f4b93f03 100644
--- a/licentia/source/program/licentia/license/grant.lux
+++ b/licentia/source/program/licentia/license/grant.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[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 ee4458e5f..cc56738d9 100644
--- a/licentia/source/program/licentia/license/liability.lux
+++ b/licentia/source/program/licentia/license/liability.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[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 33a5753d8..c65477b04 100644
--- a/licentia/source/program/licentia/license/limitation.lux
+++ b/licentia/source/program/licentia/license/limitation.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[data
["[0]" text
["%" format (.only format)]]]]]
diff --git a/licentia/source/program/licentia/license/miscellaneous.lux b/licentia/source/program/licentia/license/miscellaneous.lux
index dc126ddfb..83965b5dd 100644
--- a/licentia/source/program/licentia/license/miscellaneous.lux
+++ b/licentia/source/program/licentia/license/miscellaneous.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[data
["[0]" text
["%" format (.only format)]]]]]
diff --git a/licentia/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux
index e9dcb520b..34dc7c429 100644
--- a/licentia/source/program/licentia/license/notice.lux
+++ b/licentia/source/program/licentia/license/notice.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[data
["[0]" text
["%" format (.only format)]]
diff --git a/licentia/source/program/licentia/license/submission.lux b/licentia/source/program/licentia/license/submission.lux
index 367839be3..b596470ea 100644
--- a/licentia/source/program/licentia/license/submission.lux
+++ b/licentia/source/program/licentia/license/submission.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"
+ [lux (.full)
[data
["[0]" text
["%" format (.only format)]]]]]
diff --git a/licentia/source/program/licentia/license/time.lux b/licentia/source/program/licentia/license/time.lux
index 018c7e98d..10956aed3 100644
--- a/licentia/source/program/licentia/license/time.lux
+++ b/licentia/source/program/licentia/license/time.lux
@@ -1,6 +1,6 @@
(.using
[library
- [lux "*"]])
+ [lux (.full)]])
(type: .public Days
Nat)