diff options
Diffstat (limited to 'licentia/source')
17 files changed, 17 insertions, 17 deletions
diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux index 1f4d30fe6..213024c2d 100644 --- a/licentia/source/program/licentia.lux +++ b/licentia/source/program/licentia.lux @@ -31,7 +31,7 @@ ["!" capability]]] [data ["[0]" text - ["%" format (.only format)] + ["%" \\format (.only format)] [encoding ["[0]" utf8]]] [format diff --git a/licentia/source/program/licentia/document.lux b/licentia/source/program/licentia/document.lux index 12703675a..42c692fb7 100644 --- a/licentia/source/program/licentia/document.lux +++ b/licentia/source/program/licentia/document.lux @@ -3,7 +3,7 @@ [lux (.except or and) [data ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]]]]) diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux index 2e821d062..ca72241e7 100644 --- a/licentia/source/program/licentia/input.lux +++ b/licentia/source/program/licentia/input.lux @@ -9,7 +9,7 @@ ["<[0]>" json (.only Parser)]]] [data [text - ["%" format (.only format)]]] + ["%" \\format (.only format)]]] [math [number ["n" nat] diff --git a/licentia/source/program/licentia/license/addendum.lux b/licentia/source/program/licentia/license/addendum.lux index 82affbcda..b443da0f4 100644 --- a/licentia/source/program/licentia/license/addendum.lux +++ b/licentia/source/program/licentia/license/addendum.lux @@ -3,7 +3,7 @@ [lux (.except) [data [text - ["%" format (.only format)]]]]] + ["%" \\format (.only format)]]]]] ["[0]" // (.only Addendum) [// ["$" document]]]) diff --git a/licentia/source/program/licentia/license/assurance.lux b/licentia/source/program/licentia/license/assurance.lux index 37dd3ae5b..ddd0b1b61 100644 --- a/licentia/source/program/licentia/license/assurance.lux +++ b/licentia/source/program/licentia/license/assurance.lux @@ -3,7 +3,7 @@ [lux (.except) [data ["[0]" text - ["%" format (.only format)]]]]] + ["%" \\format (.only format)]]]]] [// ["_" term] [// diff --git a/licentia/source/program/licentia/license/black_list.lux b/licentia/source/program/licentia/license/black_list.lux index a7442b368..a83ef0c23 100644 --- a/licentia/source/program/licentia/license/black_list.lux +++ b/licentia/source/program/licentia/license/black_list.lux @@ -5,7 +5,7 @@ ["[0]" maybe (.open: "[1]#[0]" functor)]] [data ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]]]] ["[0]" // (.only Entity Black_List) diff --git a/licentia/source/program/licentia/license/commercial.lux b/licentia/source/program/licentia/license/commercial.lux index e750c9de6..8aa43c531 100644 --- a/licentia/source/program/licentia/license/commercial.lux +++ b/licentia/source/program/licentia/license/commercial.lux @@ -3,7 +3,7 @@ [lux (.except) [data ["[0]" text - ["%" format (.only format)]]]]] + ["%" \\format (.only format)]]]]] ["[0]" // (.only Commercial) ["_" term] [// diff --git a/licentia/source/program/licentia/license/definition.lux b/licentia/source/program/licentia/license/definition.lux index 975a906d5..f094e291e 100644 --- a/licentia/source/program/licentia/license/definition.lux +++ b/licentia/source/program/licentia/license/definition.lux @@ -3,7 +3,7 @@ [lux (.except Definition) [data ["[0]" text - ["%" format (.only format)]]]]] + ["%" \\format (.only format)]]]]] [/// ["$" document]]) diff --git a/licentia/source/program/licentia/license/distribution.lux b/licentia/source/program/licentia/license/distribution.lux index 5628e96f5..0281d2ae6 100644 --- a/licentia/source/program/licentia/license/distribution.lux +++ b/licentia/source/program/licentia/license/distribution.lux @@ -3,7 +3,7 @@ [lux (.except) [data ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" monoid)]]]]] ["[0]" // (.only Distribution) diff --git a/licentia/source/program/licentia/license/extension.lux b/licentia/source/program/licentia/license/extension.lux index 6e93b366c..0c9362a2b 100644 --- a/licentia/source/program/licentia/license/extension.lux +++ b/licentia/source/program/licentia/license/extension.lux @@ -3,7 +3,7 @@ [lux (.except) [data ["[0]" text - ["%" format (.only format)]]]]] + ["%" \\format (.only format)]]]]] ["[0]" // (.only Extension) [time (.only Months Period)] ["_" term] diff --git a/licentia/source/program/licentia/license/grant.lux b/licentia/source/program/licentia/license/grant.lux index 4982d5e0d..40f256aef 100644 --- a/licentia/source/program/licentia/license/grant.lux +++ b/licentia/source/program/licentia/license/grant.lux @@ -3,7 +3,7 @@ [lux (.except) [data ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list]]]]] [// diff --git a/licentia/source/program/licentia/license/liability.lux b/licentia/source/program/licentia/license/liability.lux index 661ce8b52..10dfab0c2 100644 --- a/licentia/source/program/licentia/license/liability.lux +++ b/licentia/source/program/licentia/license/liability.lux @@ -3,7 +3,7 @@ [lux (.except) [data ["[0]" text - ["%" format (.only format)]]]]] + ["%" \\format (.only format)]]]]] [// ["_" term] [// diff --git a/licentia/source/program/licentia/license/limitation.lux b/licentia/source/program/licentia/license/limitation.lux index dd02ad7dc..9429874e8 100644 --- a/licentia/source/program/licentia/license/limitation.lux +++ b/licentia/source/program/licentia/license/limitation.lux @@ -3,7 +3,7 @@ [lux (.except) [data [text - ["%" format (.only format)]]]]] + ["%" \\format (.only format)]]]]] [// ["_" term] [// diff --git a/licentia/source/program/licentia/license/miscellaneous.lux b/licentia/source/program/licentia/license/miscellaneous.lux index 2e85786d5..8e5dcf0b3 100644 --- a/licentia/source/program/licentia/license/miscellaneous.lux +++ b/licentia/source/program/licentia/license/miscellaneous.lux @@ -3,7 +3,7 @@ [lux (.except) [data [text - ["%" format (.only format)]]]]] + ["%" \\format (.only format)]]]]] [// ["_" term] [// diff --git a/licentia/source/program/licentia/license/notice.lux b/licentia/source/program/licentia/license/notice.lux index 61a661df3..ed336e6f6 100644 --- a/licentia/source/program/licentia/license/notice.lux +++ b/licentia/source/program/licentia/license/notice.lux @@ -3,7 +3,7 @@ [lux (.except) [data ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor)]]] [math diff --git a/licentia/source/program/licentia/license/submission.lux b/licentia/source/program/licentia/license/submission.lux index 98765ad92..ff4f12008 100644 --- a/licentia/source/program/licentia/license/submission.lux +++ b/licentia/source/program/licentia/license/submission.lux @@ -3,7 +3,7 @@ [lux (.except) [data ["[0]" text - ["%" format (.only format)]]]]] + ["%" \\format (.only format)]]]]] [// ["_" term] [// diff --git a/licentia/source/program/licentia/output.lux b/licentia/source/program/licentia/output.lux index 58747368c..9494d1428 100644 --- a/licentia/source/program/licentia/output.lux +++ b/licentia/source/program/licentia/output.lux @@ -6,7 +6,7 @@ [data ["[0]" bit] ["[0]" text - ["%" format (.only format)]] + ["%" \\format (.only format)]] [collection ["[0]" list (.open: "[1]#[0]" functor monoid)]]]]] [// |