aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
Diffstat (limited to 'licentia/source')
-rw-r--r--licentia/source/program/licentia.lux4
-rw-r--r--licentia/source/program/licentia/document.lux4
-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.lux6
-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/definition.lux2
-rw-r--r--licentia/source/program/licentia/license/distribution.lux4
-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.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
-rw-r--r--licentia/source/program/licentia/output.lux6
-rw-r--r--licentia/source/test/licentia.lux10
22 files changed, 34 insertions, 34 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux
index d736a5fa7..c4652b12d 100644
--- a/licentia/source/program/licentia.lux
+++ b/licentia/source/program/licentia.lux
@@ -11,7 +11,7 @@
... Common Public Attribution License Version 1.0 (CPAL-1.0): https://opensource.org/licenses/CPAL-1.0
... Eclipse Public License v2.0: https://www.eclipse.org/legal/epl-2.0/
-(.using
+(.require
[library
[lux (.except)
[ffi (.only import)]
@@ -21,7 +21,7 @@
[monad (.only do)]]
[control
[remember (.only to_do)]
- ["[0]" io (.only IO) (.open: "[1]#[0]" monad)]
+ ["[0]" io (.only IO) (.use "[1]#[0]" monad)]
["[0]" maybe]
["[0]" try (.only Try)]
["[0]" parser
diff --git a/licentia/source/program/licentia/document.lux b/licentia/source/program/licentia/document.lux
index eb35929f4..9272cbf6a 100644
--- a/licentia/source/program/licentia/document.lux
+++ b/licentia/source/program/licentia/document.lux
@@ -1,11 +1,11 @@
-(.using
+(.require
[library
[lux (.except or and)
[data
["[0]" text
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]]])
+ ["[0]" list (.use "[1]#[0]" functor)]]]]])
(def .public (quote text)
(-> Text Text)
diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux
index aa63f81d7..11af6acf6 100644
--- a/licentia/source/program/licentia/input.lux
+++ b/licentia/source/program/licentia/input.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[abstract
diff --git a/licentia/source/program/licentia/license.lux b/licentia/source/program/licentia/license.lux
index a5633e0e3..b9280bd5f 100644
--- a/licentia/source/program/licentia/license.lux
+++ b/licentia/source/program/licentia/license.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)]]
["[0]" /
diff --git a/licentia/source/program/licentia/license/addendum.lux b/licentia/source/program/licentia/license/addendum.lux
index ff3154c43..fb8be25b6 100644
--- a/licentia/source/program/licentia/license/addendum.lux
+++ b/licentia/source/program/licentia/license/addendum.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/licentia/source/program/licentia/license/assurance.lux b/licentia/source/program/licentia/license/assurance.lux
index 71d28d670..5a8f87173 100644
--- a/licentia/source/program/licentia/license/assurance.lux
+++ b/licentia/source/program/licentia/license/assurance.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/licentia/source/program/licentia/license/black_list.lux b/licentia/source/program/licentia/license/black_list.lux
index 2c579ce2f..e87041365 100644
--- a/licentia/source/program/licentia/license/black_list.lux
+++ b/licentia/source/program/licentia/license/black_list.lux
@@ -1,13 +1,13 @@
-(.using
+(.require
[library
[lux (.except)
[control
- ["[0]" maybe (.open: "[1]#[0]" functor)]]
+ ["[0]" maybe (.use "[1]#[0]" functor)]]
[data
["[0]" text
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]]]
["[0]" // (.only Entity Black_List)
["_" term]
[//
diff --git a/licentia/source/program/licentia/license/commercial.lux b/licentia/source/program/licentia/license/commercial.lux
index aeab29d02..93fceef46 100644
--- a/licentia/source/program/licentia/license/commercial.lux
+++ b/licentia/source/program/licentia/license/commercial.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/licentia/source/program/licentia/license/copyright.lux b/licentia/source/program/licentia/license/copyright.lux
index 6e4bfab07..b3bbcfa9b 100644
--- a/licentia/source/program/licentia/license/copyright.lux
+++ b/licentia/source/program/licentia/license/copyright.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)]]
[//
diff --git a/licentia/source/program/licentia/license/definition.lux b/licentia/source/program/licentia/license/definition.lux
index 13da5bf69..d43906feb 100644
--- a/licentia/source/program/licentia/license/definition.lux
+++ b/licentia/source/program/licentia/license/definition.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Definition)
[data
diff --git a/licentia/source/program/licentia/license/distribution.lux b/licentia/source/program/licentia/license/distribution.lux
index 1a388b664..6d64c6a42 100644
--- a/licentia/source/program/licentia/license/distribution.lux
+++ b/licentia/source/program/licentia/license/distribution.lux
@@ -1,11 +1,11 @@
-(.using
+(.require
[library
[lux (.except)
[data
["[0]" text
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" monoid)]]]]]
+ ["[0]" list (.use "[1]#[0]" monoid)]]]]]
["[0]" // (.only Distribution)
["_" term]
[//
diff --git a/licentia/source/program/licentia/license/extension.lux b/licentia/source/program/licentia/license/extension.lux
index cb2a3bddf..208e039a5 100644
--- a/licentia/source/program/licentia/license/extension.lux
+++ b/licentia/source/program/licentia/license/extension.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/licentia/source/program/licentia/license/grant.lux b/licentia/source/program/licentia/license/grant.lux
index 729d9fd5c..b890faa00 100644
--- a/licentia/source/program/licentia/license/grant.lux
+++ b/licentia/source/program/licentia/license/grant.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/licentia/source/program/licentia/license/liability.lux b/licentia/source/program/licentia/license/liability.lux
index 3f7c62340..87a3039b6 100644
--- a/licentia/source/program/licentia/license/liability.lux
+++ b/licentia/source/program/licentia/license/liability.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/licentia/source/program/licentia/license/limitation.lux b/licentia/source/program/licentia/license/limitation.lux
index 741ebbb61..cdb8f9fc8 100644
--- a/licentia/source/program/licentia/license/limitation.lux
+++ b/licentia/source/program/licentia/license/limitation.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/licentia/source/program/licentia/license/miscellaneous.lux b/licentia/source/program/licentia/license/miscellaneous.lux
index 18041be49..c297a4019 100644
--- a/licentia/source/program/licentia/license/miscellaneous.lux
+++ b/licentia/source/program/licentia/license/miscellaneous.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/licentia/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux
index 67b0c3f41..3139c2d4e 100644
--- a/licentia/source/program/licentia/license/notice.lux
+++ b/licentia/source/program/licentia/license/notice.lux
@@ -1,11 +1,11 @@
-(.using
+(.require
[library
[lux (.except)
[data
["[0]" text
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[math
[number
["n" nat]]]]]
diff --git a/licentia/source/program/licentia/license/submission.lux b/licentia/source/program/licentia/license/submission.lux
index 48245707e..94910d652 100644
--- a/licentia/source/program/licentia/license/submission.lux
+++ b/licentia/source/program/licentia/license/submission.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[data
diff --git a/licentia/source/program/licentia/license/term.lux b/licentia/source/program/licentia/license/term.lux
index c1925b02c..5ef9a9b91 100644
--- a/licentia/source/program/licentia/license/term.lux
+++ b/licentia/source/program/licentia/license/term.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except Definition)]]
["[0]" //
diff --git a/licentia/source/program/licentia/license/time.lux b/licentia/source/program/licentia/license/time.lux
index eb08fe651..9efebaf10 100644
--- a/licentia/source/program/licentia/license/time.lux
+++ b/licentia/source/program/licentia/license/time.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)]])
diff --git a/licentia/source/program/licentia/output.lux b/licentia/source/program/licentia/output.lux
index d36a6d900..7645b2cb4 100644
--- a/licentia/source/program/licentia/output.lux
+++ b/licentia/source/program/licentia/output.lux
@@ -1,14 +1,14 @@
-(.using
+(.require
[library
[lux (.except Definition)
[control
- ["[0]" maybe (.open: "[1]#[0]" functor)]]
+ ["[0]" maybe (.use "[1]#[0]" functor)]]
[data
["[0]" bit]
["[0]" text
["%" \\format (.only format)]]
[collection
- ["[0]" list (.open: "[1]#[0]" functor monoid)]]]]]
+ ["[0]" list (.use "[1]#[0]" functor monoid)]]]]]
[//
["[0]" license (.only Identification
Termination
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index c063260ae..d00497877 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -1,4 +1,4 @@
-(.using
+(.require
[library
[lux (.except)
[program (.only program:)]
@@ -7,16 +7,16 @@
[monad (.only do)]]
[control
["[0]" io]
- ["[0]" maybe (.open: "[1]#[0]" functor)]]
+ ["[0]" maybe (.use "[1]#[0]" functor)]]
[data
- ["[0]" bit (.open: "[1]#[0]" equivalence)]
+ ["[0]" bit (.use "[1]#[0]" equivalence)]
["[0]" text]
[collection
- ["[0]" list (.open: "[1]#[0]" functor)]]]
+ ["[0]" list (.use "[1]#[0]" functor)]]]
[math
["[0]" random (.only Random)]
[number
- ["n" nat (.open: "[1]#[0]" interval)]]]]]
+ ["n" nat (.use "[1]#[0]" interval)]]]]]
[\\program
["[0]" output]
["[0]" license (.only Identification