From 289f9de576a7980184339f380d5000f7d71f6d7e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 13 Jun 2022 01:55:22 -0400
Subject: New "format" hierarchy.

---
 licentia/source/program/licentia.lux                       | 2 +-
 licentia/source/program/licentia/document.lux              | 2 +-
 licentia/source/program/licentia/input.lux                 | 2 +-
 licentia/source/program/licentia/license/addendum.lux      | 2 +-
 licentia/source/program/licentia/license/assurance.lux     | 2 +-
 licentia/source/program/licentia/license/black_list.lux    | 2 +-
 licentia/source/program/licentia/license/commercial.lux    | 2 +-
 licentia/source/program/licentia/license/definition.lux    | 2 +-
 licentia/source/program/licentia/license/distribution.lux  | 2 +-
 licentia/source/program/licentia/license/extension.lux     | 2 +-
 licentia/source/program/licentia/license/grant.lux         | 2 +-
 licentia/source/program/licentia/license/liability.lux     | 2 +-
 licentia/source/program/licentia/license/limitation.lux    | 2 +-
 licentia/source/program/licentia/license/miscellaneous.lux | 2 +-
 licentia/source/program/licentia/license/notice.lux        | 2 +-
 licentia/source/program/licentia/license/submission.lux    | 2 +-
 licentia/source/program/licentia/output.lux                | 2 +-
 17 files changed, 17 insertions(+), 17 deletions(-)

(limited to 'licentia/source/program')

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)]]]]]
  [//
-- 
cgit v1.2.3