From fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 4 Sep 2021 12:49:52 -0400
Subject: De-taggification | part 2

---
 licentia/source/program/licentia.lux               | 18 ++++++------
 licentia/source/program/licentia/document.lux      |  4 +--
 licentia/source/program/licentia/input.lux         | 34 +++++++++++-----------
 licentia/source/program/licentia/license.lux       |  6 ++--
 .../source/program/licentia/license/addendum.lux   |  6 ++--
 .../source/program/licentia/license/assurance.lux  |  4 +--
 .../source/program/licentia/license/black_list.lux |  6 ++--
 .../source/program/licentia/license/commercial.lux |  6 ++--
 .../source/program/licentia/license/copyright.lux  |  4 +--
 .../source/program/licentia/license/definition.lux |  4 +--
 .../program/licentia/license/distribution.lux      |  6 ++--
 .../source/program/licentia/license/extension.lux  |  8 ++---
 licentia/source/program/licentia/license/grant.lux |  6 ++--
 .../source/program/licentia/license/liability.lux  |  4 +--
 .../source/program/licentia/license/limitation.lux |  4 +--
 .../program/licentia/license/miscellaneous.lux     |  4 +--
 .../source/program/licentia/license/notice.lux     |  6 ++--
 .../source/program/licentia/license/submission.lux |  4 +--
 licentia/source/program/licentia/license/term.lux  |  4 +--
 licentia/source/program/licentia/license/time.lux  |  2 +-
 licentia/source/program/licentia/output.lux        | 24 +++++++--------
 licentia/source/test/licentia.lux                  | 32 ++++++++++----------
 22 files changed, 98 insertions(+), 98 deletions(-)

(limited to 'licentia')

diff --git a/licentia/source/program/licentia.lux b/licentia/source/program/licentia.lux
index 04fd52191..a6e0820c3 100644
--- a/licentia/source/program/licentia.lux
+++ b/licentia/source/program/licentia.lux
@@ -13,17 +13,17 @@
 
 (.module:
   [library
-   [lux #*
-    [ffi (#+ import:)]
-    [program (#+ program:)]
+   [lux "*"
+    [ffi {"+" [import:]}]
+    [program {"+" [program:]}]
     ["." debug]
     [abstract
-     [monad (#+ do)]]
+     [monad {"+" [do]}]]
     [control
-     [remember (#+ to_do)]
-     ["." io (#+ IO) ("#\." monad)]
+     [remember {"+" [to_do]}]
+     ["." io {"+" [IO]} ("#\." monad)]
      ["." maybe]
-     ["." try (#+ Try)]
+     ["." try {"+" [Try]}]
      ["." parser
       ["<.>" cli]
       ["<.>" json]]
@@ -31,14 +31,14 @@
       ["!" capability]]]
     [data
      ["." text
-      ["%" format (#+ format)]
+      ["%" format {"+" [format]}]
       [encoding
        ["." utf8]]]
      [format
       ["." json]]]
     [world
      ["." file]]]]
-  ["." / #_
+  ["." / "_"
    ["#." input]
    ["#." output]])
 
diff --git a/licentia/source/program/licentia/document.lux b/licentia/source/program/licentia/document.lux
index 07a4e2b83..0746e3cbc 100644
--- a/licentia/source/program/licentia/document.lux
+++ b/licentia/source/program/licentia/document.lux
@@ -1,9 +1,9 @@
 (.module:
   [library
-   [lux (#- or and)
+   [lux {"-" [or and]}
     [data
      ["." text
-      ["%" format (#+ format)]]
+      ["%" format {"+" [format]}]]
      [collection
       ["." list ("#\." functor)]]]]])
 
diff --git a/licentia/source/program/licentia/input.lux b/licentia/source/program/licentia/input.lux
index f6a438e7f..7f2796026 100644
--- a/licentia/source/program/licentia/input.lux
+++ b/licentia/source/program/licentia/input.lux
@@ -1,32 +1,32 @@
 (.module:
   [library
-   [lux #*
+   [lux "*"
     [abstract
-     [monad (#+ do)]]
+     [monad {"+" [do]}]]
     [control
-     ["." exception (#+ exception:)]
+     ["." exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" json (#+ Parser)]]]
+      ["<.>" json {"+" [Parser]}]]]
     [data
      [text
-      ["%" format (#+ format)]]]
+      ["%" format {"+" [format]}]]]
     [math
      [number
       ["n" nat]
       ["i" int]
       ["f" frac]]]]]
-  ["." // #_
-   ["#" license (#+ Identification
-                    Termination
-                    Liability
-                    Distribution
-                    Commercial
-                    Extension
-                    Entity Black_List
-                    URL Attribution
-                    Addendum
-                    License)
-    ["." time (#+ Period)]
+  ["." // "_"
+   ["#" license {"+" [Identification
+                      Termination
+                      Liability
+                      Distribution
+                      Commercial
+                      Extension
+                      Entity Black_List
+                      URL Attribution
+                      Addendum
+                      License]}
+    ["." time {"+" [Period]}]
     ["." copyright]]])
 
 (def: identification
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)
diff --git a/licentia/source/program/licentia/output.lux b/licentia/source/program/licentia/output.lux
index 03380ece9..8b69b0f8d 100644
--- a/licentia/source/program/licentia/output.lux
+++ b/licentia/source/program/licentia/output.lux
@@ -1,26 +1,26 @@
 (.module:
   [library
-   [lux (#- Definition)
+   [lux {"-" [Definition]}
     [control
      ["." maybe ("#\." functor)]]
     [data
      ["." bit]
      ["." text
-      ["%" format (#+ format)]]
+      ["%" format {"+" [format]}]]
      [collection
       ["." list ("#\." functor monoid)]]]]]
   [//
-   ["." license (#+ Identification
-                    Termination
-                    Liability
-                    Distribution
-                    Commercial
-                    Extension
-                    Entity Black_List
-                    URL Attribution
-                    License)
+   ["." license {"+" [Identification
+                      Termination
+                      Liability
+                      Distribution
+                      Commercial
+                      Extension
+                      Entity Black_List
+                      URL Attribution
+                      License]}
     ["." copyright]
-    ["." definition (#+ Definition)]
+    ["." definition {"+" [Definition]}]
     ["." grant]
     ["." limitation]
     ["." assurance]
diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index 7238b6c71..e3204e598 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -1,10 +1,10 @@
 (.module:
   [library
-   [lux #*
-    [program (#+ program:)]
-    ["_" test (#+ Test)]
+   [lux "*"
+    [program {"+" [program:]}]
+    ["_" test {"+" [Test]}]
     [abstract
-     [monad (#+ do)]]
+     [monad {"+" [do]}]]
     [control
      ["." io]
      ["." maybe ("#\." functor)]]
@@ -14,22 +14,22 @@
      [collection
       ["." list ("#\." functor)]]]
     [math
-     ["." random (#+ Random)]
+     ["." random {"+" [Random]}]
      [number
       ["n" nat ("#\." interval)]]]]]
   [\\program
    ["." output]
-   ["." license (#+ Identification
-                    Termination
-                    Liability
-                    Distribution
-                    Commercial
-                    Extension
-                    Entity Black_List
-                    URL Attribution
-                    Addendum
-                    License)
-    ["." time (#+ Period)]
+   ["." license {"+" [Identification
+                      Termination
+                      Liability
+                      Distribution
+                      Commercial
+                      Extension
+                      Entity Black_List
+                      URL Attribution
+                      Addendum
+                      License]}
+    ["." time {"+" [Period]}]
     ["." copyright]
     ["." notice]
     ["." definition]
-- 
cgit v1.2.3