diff options
Diffstat (limited to 'licentia/source/program/licentia/license')
16 files changed, 20 insertions, 20 deletions
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)]]) |