aboutsummaryrefslogtreecommitdiff
path: root/licentia/source
diff options
context:
space:
mode:
authorEduardo Julian2022-06-13 01:55:22 -0400
committerEduardo Julian2022-06-13 01:55:22 -0400
commit289f9de576a7980184339f380d5000f7d71f6d7e (patch)
treee0ac1c14a496d6bf3139e1e3b600dde73decf208 /licentia/source
parent32e730e93f0a88cc537622c854a48eb229419893 (diff)
New "format" hierarchy.
Diffstat (limited to 'licentia/source')
-rw-r--r--licentia/source/program/licentia.lux2
-rw-r--r--licentia/source/program/licentia/document.lux2
-rw-r--r--licentia/source/program/licentia/input.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/definition.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/output.lux2
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)]]]]]
[//