diff options
Diffstat (limited to '')
17 files changed, 42 insertions, 42 deletions
diff --git a/licentia/source/program/licentia/license.lux b/licentia/source/program/licentia/license.lux index 052ad1f05..c810e865d 100644 --- a/licentia/source/program/licentia/license.lux +++ b/licentia/source/program/licentia/license.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #*]] - ["." / #_ - [time (#+ Days Months Period)] + [lux "*"]] + ["." / "_" + [time {"+" [Days Months Period]}] ["#." copyright]]) (type: .public Identification diff --git a/licentia/source/program/licentia/license/addendum.lux b/licentia/source/program/licentia/license/addendum.lux index 1fffda746..825e91968 100644 --- a/licentia/source/program/licentia/license/addendum.lux +++ b/licentia/source/program/licentia/license/addendum.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [data [text - ["%" format (#+ format)]]]]] - ["." // (#+ Addendum) + ["%" format {"+" [format]}]]]]] + ["." // {"+" [Addendum]} [// ["$" document]]]) diff --git a/licentia/source/program/licentia/license/assurance.lux b/licentia/source/program/licentia/license/assurance.lux index ca1f697d6..64e865e14 100644 --- a/licentia/source/program/licentia/license/assurance.lux +++ b/licentia/source/program/licentia/license/assurance.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" [data ["." text - ["%" format (#+ format)]]]]] + ["%" format {"+" [format]}]]]]] [// ["_" term] [// diff --git a/licentia/source/program/licentia/license/black_list.lux b/licentia/source/program/licentia/license/black_list.lux index fbedb62cd..96dd85d85 100644 --- a/licentia/source/program/licentia/license/black_list.lux +++ b/licentia/source/program/licentia/license/black_list.lux @@ -1,14 +1,14 @@ (.module: [library - [lux #* + [lux "*" [control ["." maybe ("#\." functor)]] [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)]]]]] - ["." // (#+ Entity Black_List) + ["." // {"+" [Entity Black_List]} ["_" term] [// ["$" document]]]) diff --git a/licentia/source/program/licentia/license/commercial.lux b/licentia/source/program/licentia/license/commercial.lux index 6af68b860..5a9ea86d3 100644 --- a/licentia/source/program/licentia/license/commercial.lux +++ b/licentia/source/program/licentia/license/commercial.lux @@ -1,10 +1,10 @@ (.module: [library - [lux #* + [lux "*" [data ["." text - ["%" format (#+ format)]]]]] - ["." // (#+ Commercial) + ["%" format {"+" [format]}]]]]] + ["." // {"+" [Commercial]} ["_" term] [// ["$" document]]]) diff --git a/licentia/source/program/licentia/license/copyright.lux b/licentia/source/program/licentia/license/copyright.lux index 3d48653b6..a2cdc6fe5 100644 --- a/licentia/source/program/licentia/license/copyright.lux +++ b/licentia/source/program/licentia/license/copyright.lux @@ -1,8 +1,8 @@ (.module: [library - [lux #*]] + [lux "*"]] [// - [time (#+ Year Period)]]) + [time {"+" [Year Period]}]]) (type: .public Holder (Record diff --git a/licentia/source/program/licentia/license/definition.lux b/licentia/source/program/licentia/license/definition.lux index 0765a488f..921c67675 100644 --- a/licentia/source/program/licentia/license/definition.lux +++ b/licentia/source/program/licentia/license/definition.lux @@ -1,9 +1,9 @@ (.module: [library - [lux (#- Definition) + [lux {"-" [Definition]} [data ["." text - ["%" format (#+ format)]]]]] + ["%" format {"+" [format]}]]]]] [/// ["$" document]]) diff --git a/licentia/source/program/licentia/license/distribution.lux b/licentia/source/program/licentia/license/distribution.lux index e5185598f..22a783d79 100644 --- a/licentia/source/program/licentia/license/distribution.lux +++ b/licentia/source/program/licentia/license/distribution.lux @@ -1,12 +1,12 @@ (.module: [library - [lux #* + [lux "*" [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." monoid)]]]]] - ["." // (#+ Distribution) + ["." // {"+" [Distribution]} ["_" term] [// ["$" document]]]) diff --git a/licentia/source/program/licentia/license/extension.lux b/licentia/source/program/licentia/license/extension.lux index 38c93fb13..2cf225b88 100644 --- a/licentia/source/program/licentia/license/extension.lux +++ b/licentia/source/program/licentia/license/extension.lux @@ -1,13 +1,13 @@ (.module: [library - [lux #* + [lux "*" [data ["." text - ["%" format (#+ format)]]]]] - ["." // (#+ Extension) + ["%" format {"+" [format]}]]]]] + ["." // {"+" [Extension]} ["_" term] ["." grant] - [time (#+ Months Period)] + [time {"+" [Months Period]}] [// ["$" document]]]) diff --git a/licentia/source/program/licentia/license/grant.lux b/licentia/source/program/licentia/license/grant.lux index bae1478c7..a0ad84474 100644 --- a/licentia/source/program/licentia/license/grant.lux +++ b/licentia/source/program/licentia/license/grant.lux @@ -1,11 +1,11 @@ (.module: [library - [lux #* + [lux "*" [data ["." text - ["%" format (#+ format)]]]]] + ["%" format {"+" [format]}]]]]] [// - [time (#+ Days)] + [time {"+" [Days]}] ["_" term] ["." definition] [// diff --git a/licentia/source/program/licentia/license/liability.lux b/licentia/source/program/licentia/license/liability.lux index b56e51a50..aac47b4e9 100644 --- a/licentia/source/program/licentia/license/liability.lux +++ b/licentia/source/program/licentia/license/liability.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" [data ["." text - ["%" format (#+ format)]]]]] + ["%" format {"+" [format]}]]]]] [// ["_" term] [// diff --git a/licentia/source/program/licentia/license/limitation.lux b/licentia/source/program/licentia/license/limitation.lux index aebaa0faa..3da275235 100644 --- a/licentia/source/program/licentia/license/limitation.lux +++ b/licentia/source/program/licentia/license/limitation.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" [data ["." text - ["%" format (#+ format)]]]]] + ["%" format {"+" [format]}]]]]] [// ["_" term] [// diff --git a/licentia/source/program/licentia/license/miscellaneous.lux b/licentia/source/program/licentia/license/miscellaneous.lux index 35cddfa5a..bda4bade6 100644 --- a/licentia/source/program/licentia/license/miscellaneous.lux +++ b/licentia/source/program/licentia/license/miscellaneous.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" [data ["." text - ["%" format (#+ format)]]]]] + ["%" format {"+" [format]}]]]]] [// ["_" term] [// diff --git a/licentia/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux index c6f27e183..7ade12fc8 100644 --- a/licentia/source/program/licentia/license/notice.lux +++ b/licentia/source/program/licentia/license/notice.lux @@ -1,15 +1,15 @@ (.module: [library - [lux #* + [lux "*" [data ["." text - ["%" format (#+ format)]] + ["%" format {"+" [format]}]] [collection ["." list ("#\." functor)]]] [math [number ["n" nat]]]]] - ["." // #_ + ["." // "_" ["#." time] ["#." copyright] ["_" term] diff --git a/licentia/source/program/licentia/license/submission.lux b/licentia/source/program/licentia/license/submission.lux index d83d54d80..4b74d0df8 100644 --- a/licentia/source/program/licentia/license/submission.lux +++ b/licentia/source/program/licentia/license/submission.lux @@ -1,9 +1,9 @@ (.module: [library - [lux #* + [lux "*" [data ["." text - ["%" format (#+ format)]]]]] + ["%" format {"+" [format]}]]]]] [// ["_" term] [// diff --git a/licentia/source/program/licentia/license/term.lux b/licentia/source/program/licentia/license/term.lux index 9b210fb2b..2d4df6ce7 100644 --- a/licentia/source/program/licentia/license/term.lux +++ b/licentia/source/program/licentia/license/term.lux @@ -1,7 +1,7 @@ (.module: [library - [lux (#- Definition)]] - ["." // #_ + [lux {"-" [Definition]}]] + ["." // "_" ["#." definition]]) (template [<term> <definition>] diff --git a/licentia/source/program/licentia/license/time.lux b/licentia/source/program/licentia/license/time.lux index e19f7ef16..8da867dba 100644 --- a/licentia/source/program/licentia/license/time.lux +++ b/licentia/source/program/licentia/license/time.lux @@ -1,6 +1,6 @@ (.module: [library - [lux #*]]) + [lux "*"]]) (type: .public Days Nat) |