From 35c0807799717cd720ab28b35851c1a01a67445d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 7 Sep 2021 22:50:21 -0400
Subject: De-taggification | part 4

---
 .../source/program/aedifex/artifact/extension.lux  |  8 +++---
 .../source/program/aedifex/artifact/snapshot.lux   | 12 ++++-----
 .../program/aedifex/artifact/snapshot/build.lux    |  8 +++---
 .../program/aedifex/artifact/snapshot/stamp.lux    | 14 +++++-----
 .../program/aedifex/artifact/snapshot/time.lux     | 18 ++++++-------
 .../program/aedifex/artifact/snapshot/version.lux  | 16 ++++++------
 .../aedifex/artifact/snapshot/version/value.lux    | 10 ++++----
 stdlib/source/program/aedifex/artifact/time.lux    | 16 ++++++------
 .../source/program/aedifex/artifact/time/date.lux  | 12 ++++-----
 .../source/program/aedifex/artifact/time/time.lux  |  8 +++---
 .../source/program/aedifex/artifact/versioning.lux | 30 +++++++++++-----------
 11 files changed, 76 insertions(+), 76 deletions(-)

(limited to 'stdlib/source/program/aedifex/artifact')

diff --git a/stdlib/source/program/aedifex/artifact/extension.lux b/stdlib/source/program/aedifex/artifact/extension.lux
index 6b3a61367..3150b9df4 100644
--- a/stdlib/source/program/aedifex/artifact/extension.lux
+++ b/stdlib/source/program/aedifex/artifact/extension.lux
@@ -2,12 +2,12 @@
   [library
    [lux {"-" [type]}
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]]
     [macro
-     ["." template]]]]
-  ["." // "_"
-   ["#" type]])
+     ["[0]" template]]]]
+  ["[0]" // "_"
+   ["[1]" type]])
 
 (type: .public Extension
   Text)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot.lux b/stdlib/source/program/aedifex/artifact/snapshot.lux
index a83905f0b..0a0d5cd94 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot.lux
@@ -6,14 +6,14 @@
      [monad {"+" [do]}]]
     [control
      ["<>" parser
-      ["<.>" xml {"+" [Parser]}]
-      ["<.>" text]]]
+      ["<[0]>" xml {"+" [Parser]}]
+      ["<[0]>" text]]]
     [data
-     ["." sum]
+     ["[0]" sum]
      [format
-      ["." xml {"+" [XML]}]]]]]
-  ["." / "_"
-   ["#." stamp {"+" [Stamp]}]])
+      ["[0]" xml {"+" [XML]}]]]]]
+  ["[0]" / "_"
+   ["[1][0]" stamp {"+" [Stamp]}]])
 
 (type: .public Snapshot
   (Variant
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/build.lux b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
index 3afdf31b1..a7e9e2fc8 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/build.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/build.lux
@@ -6,16 +6,16 @@
      [monad {"+" [do]}]]
     [control
      ["<>" parser
-      ["<.>" xml {"+" [Parser]}]
-      ["<.>" text]]]
+      ["<[0]>" xml {"+" [Parser]}]
+      ["<[0]>" text]]]
     [data
      [text
       ["%" format]]
      [format
-      ["." xml {"+" [XML]}]]]
+      ["[0]" xml {"+" [XML]}]]]
     [math
      [number
-      ["." nat]]]]])
+      ["[0]" nat]]]]])
 
 (type: .public Build
   Nat)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
index 8d57034ef..0a951c097 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/stamp.lux
@@ -6,15 +6,15 @@
      [monad {"+" [do]}]]
     [control
      ["<>" parser
-      ["<.>" xml {"+" [Parser]}]
-      ["<.>" text]]]
+      ["<[0]>" xml {"+" [Parser]}]
+      ["<[0]>" text]]]
     [data
-     ["." product]
+     ["[0]" product]
      [format
-      ["." xml {"+" [XML]}]]]]]
-  ["." // "_"
-   ["#." time {"+" [Time]}]
-   ["#." build {"+" [Build]}]])
+      ["[0]" xml {"+" [XML]}]]]]]
+  ["[0]" // "_"
+   ["[1][0]" time {"+" [Time]}]
+   ["[1][0]" build {"+" [Build]}]])
 
 (type: .public Stamp
   (Record
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/time.lux b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
index ab62308b2..0b0bb8227 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/time.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/time.lux
@@ -5,21 +5,21 @@
      [equivalence {"+" [Equivalence]}]
      [monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" text]
-      ["<.>" xml {"+" [Parser]}]]]
+      ["<[0]>" text]
+      ["<[0]>" xml {"+" [Parser]}]]]
     [data
      [text
       ["%" format]]
      [format
-      ["." xml {"+" [XML]}]]]
+      ["[0]" xml {"+" [XML]}]]]
     [time
-     ["." instant {"+" [Instant]}]]]]
-  ["." /// "_"
-   ["#." time
-    ["#/." date]
-    ["#/." time]]])
+     ["[0]" instant {"+" [Instant]}]]]]
+  ["[0]" /// "_"
+   ["[1][0]" time
+    ["[1]/[0]" date]
+    ["[1]/[0]" time]]])
 
 (type: .public Time
   ///time.Time)
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version.lux b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
index ff3017838..33238b990 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version.lux
@@ -6,16 +6,16 @@
      [monad {"+" [do]}]]
     [control
      ["<>" parser
-      ["<.>" xml {"+" [Parser]}]
-      ["<.>" text]]]
+      ["<[0]>" xml {"+" [Parser]}]
+      ["<[0]>" text]]]
     [data
-     ["." product]
-     ["." text]
+     ["[0]" product]
+     ["[0]" text]
      [format
-      ["." xml {"+" [XML]}]]]]]
-  ["." /// "_"
-   ["#." type {"+" [Type]}]
-   ["#." time {"+" [Time]}]])
+      ["[0]" xml {"+" [XML]}]]]]]
+  ["[0]" /// "_"
+   ["[1][0]" type {"+" [Type]}]
+   ["[1][0]" time {"+" [Time]}]])
 
 (type: .public Version
   (Record
diff --git a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
index eff775ab3..dc3744f4f 100644
--- a/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/program/aedifex/artifact/snapshot/version/value.lux
@@ -4,12 +4,12 @@
     [abstract
      [equivalence {"+" [Equivalence]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format]]]]]
-  ["." /// {"+" [Snapshot]}
-   ["#." time]
-   ["#." stamp]])
+  ["[0]" /// {"+" [Snapshot]}
+   ["[1][0]" time]
+   ["[1][0]" stamp]])
 
 (type: .public Value
   (Record
diff --git a/stdlib/source/program/aedifex/artifact/time.lux b/stdlib/source/program/aedifex/artifact/time.lux
index d46d204bc..7096d7420 100644
--- a/stdlib/source/program/aedifex/artifact/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time.lux
@@ -1,23 +1,23 @@
 (.module:
   [library
    [lux "*"
-    ["." time]
+    ["[0]" time]
     [abstract
      [equivalence {"+" [Equivalence]}]
      [monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
+     ["[0]" try {"+" [Try]}]
      ["<>" parser
-      ["<.>" text {"+" [Parser]}]]]
+      ["<[0]>" text {"+" [Parser]}]]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [Format]}]]]
     [time
-     ["." instant {"+" [Instant]}]]]]
-  ["." / "_"
-   ["#." date]
-   ["#." time]])
+     ["[0]" instant {"+" [Instant]}]]]]
+  ["[0]" / "_"
+   ["[1][0]" date]
+   ["[1][0]" time]])
 
 (type: .public Time
   [/date.Date /time.Time])
diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index deb9cb8ed..18688bf1a 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -5,10 +5,10 @@
      [monad {"+" [do]}]
      [equivalence {"+" [Equivalence]}]]
     [control
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" text {"+" [Parser]}]]]
+      ["<[0]>" text {"+" [Parser]}]]]
     [data
      [text
       ["%" format]]]
@@ -17,9 +17,9 @@
       ["n" nat]
       ["i" int]]]
     [time
-     ["." date ("#\." equivalence)]
-     ["." year]
-     ["." month]]
+     ["[0]" date ("[1]\[0]" equivalence)]
+     ["[0]" year]
+     ["[0]" month]]
     [type
      abstract]]])
 
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index 5fca26062..c27b1b69c 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -1,20 +1,20 @@
 (.module:
   [library
    [lux "*"
-    ["." time]
+    ["[0]" time]
     [abstract
      [monad {"+" [do]}]]
     [control
      ["<>" parser
-      ["<.>" text {"+" [Parser]}]]]
+      ["<[0]>" text {"+" [Parser]}]]]
     [data
      [text
       ["%" format]]]
     [math
      [number
       ["n" nat]]]]]
-  ["." // "_"
-   ["#" date]])
+  ["[0]" // "_"
+   ["[1]" date]])
 
 (type: .public Time
   time.Time)
diff --git a/stdlib/source/program/aedifex/artifact/versioning.lux b/stdlib/source/program/aedifex/artifact/versioning.lux
index d2d702236..644af3fa1 100644
--- a/stdlib/source/program/aedifex/artifact/versioning.lux
+++ b/stdlib/source/program/aedifex/artifact/versioning.lux
@@ -5,29 +5,29 @@
      [equivalence {"+" [Equivalence]}]
      [monad {"+" [do]}]]
     [control
-     ["." exception {"+" [exception:]}]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" xml {"+" [Parser]}]
-      ["<.>" text]]]
+      ["<[0]>" xml {"+" [Parser]}]
+      ["<[0]>" text]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format]]
      [format
-      ["." xml {"+" [XML]}]]
+      ["[0]" xml {"+" [XML]}]]
      [collection
-      ["." list ("#\." functor)]]]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [math
      [number
       ["n" nat]]]
-    ["." time {"+" [Time]}
-     ["." date {"+" [Date]}]
-     ["." year]
-     ["." month]]]]
-  ["." // "_"
-   ["#." time]
-   ["#." snapshot {"+" [Snapshot]}
-    ["#/." version {"+" [Version]}]]])
+    ["[0]" time {"+" [Time]}
+     ["[0]" date {"+" [Date]}]
+     ["[0]" year]
+     ["[0]" month]]]]
+  ["[0]" // "_"
+   ["[1][0]" time]
+   ["[1][0]" snapshot {"+" [Snapshot]}
+    ["[1]/[0]" version {"+" [Version]}]]])
 
 (type: .public Versioning
   (Record
-- 
cgit v1.2.3