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/repository/identity.lux | 12 ++++----
 stdlib/source/program/aedifex/repository/local.lux | 18 ++++++------
 .../source/program/aedifex/repository/origin.lux   |  4 +--
 .../source/program/aedifex/repository/remote.lux   | 32 +++++++++++-----------
 4 files changed, 33 insertions(+), 33 deletions(-)

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

diff --git a/stdlib/source/program/aedifex/repository/identity.lux b/stdlib/source/program/aedifex/repository/identity.lux
index 06df89360..abe5e2e1b 100644
--- a/stdlib/source/program/aedifex/repository/identity.lux
+++ b/stdlib/source/program/aedifex/repository/identity.lux
@@ -1,15 +1,15 @@
 (.module:
   [library
    [lux "*"
-    ["." ffi {"+" [import:]}]
+    ["[0]" ffi {"+" [import:]}]
     [abstract
      [equivalence {"+" [Equivalence]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]]]])
+       ["[0]" utf8]]]]]])
 
 (type: .public User
   Text)
@@ -30,11 +30,11 @@
       ))
 
 (import: java/util/Base64$Encoder
-  ["#::."
+  ["[1]::[0]"
    (encodeToString [[byte]] java/lang/String)])
 
 (import: java/util/Base64
-  ["#::."
+  ["[1]::[0]"
    ("static" getEncoder [] java/util/Base64$Encoder)])
 
 (def: .public (basic_auth user password)
diff --git a/stdlib/source/program/aedifex/repository/local.lux b/stdlib/source/program/aedifex/repository/local.lux
index 4a2837672..2c528a520 100644
--- a/stdlib/source/program/aedifex/repository/local.lux
+++ b/stdlib/source/program/aedifex/repository/local.lux
@@ -4,21 +4,21 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try]
+     ["[0]" try]
      [concurrency
-      ["." async {"+" [Async]}]]]
+      ["[0]" async {"+" [Async]}]]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]]
     [world
      [program {"+" [Program]}]
-     ["." file]
+     ["[0]" file]
      [net
-      ["." uri {"+" [URI]}]]]]]
-  ["." //
-   ["/#" // "_"
-    ["#." local]
-    ["#." metadata]]])
+      ["[0]" uri {"+" [URI]}]]]]]
+  ["[0]" //
+   ["/[1]" // "_"
+    ["[1][0]" local]
+    ["[1][0]" metadata]]])
 
 (def: (root program /)
   (-> (Program Async) Text file.Path)
diff --git a/stdlib/source/program/aedifex/repository/origin.lux b/stdlib/source/program/aedifex/repository/origin.lux
index fdee108c5..72163f641 100644
--- a/stdlib/source/program/aedifex/repository/origin.lux
+++ b/stdlib/source/program/aedifex/repository/origin.lux
@@ -4,8 +4,8 @@
     [abstract
      [equivalence {"+" [Equivalence]}]]
     [data
-     ["." sum]
-     ["." text]]
+     ["[0]" sum]
+     ["[0]" text]]
     [world
      [file {"+" [Path]}]
      [net {"+" [URL]}]]]])
diff --git a/stdlib/source/program/aedifex/repository/remote.lux b/stdlib/source/program/aedifex/repository/remote.lux
index ea8952bef..69fd9c255 100644
--- a/stdlib/source/program/aedifex/repository/remote.lux
+++ b/stdlib/source/program/aedifex/repository/remote.lux
@@ -4,30 +4,30 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." io {"+" [IO]}]
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" io {"+" [IO]}]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." product]
+     ["[0]" product]
      [text
       ["%" format {"+" [format]}]]]
     [tool
      [compiler
-      ["." version]
-      ["." language "_"
-       ["#/." lux "_"
-        ["#" version]]]]]
+      ["[0]" version]
+      ["[0]" language "_"
+       ["[1]/[0]" lux "_"
+        ["[1]" version]]]]]
     [world
      [net {"+" [URL]}
       [uri {"+" [URI]}]
-      ["." http "_"
-       ["#" client]
-       ["#/." status]
-       ["@#" /]]]]]]
-  ["." //
-   ["#." identity {"+" [Identity]}]
-   ["/#" // "_"
-    ["#." artifact {"+" [Version Artifact]}
+      ["[0]" http "_"
+       ["[1]" client]
+       ["[1]/[0]" status]
+       ["@[1]" /]]]]]]
+  ["[0]" //
+   ["[1][0]" identity {"+" [Identity]}]
+   ["/[1]" // "_"
+    ["[1][0]" artifact {"+" [Version Artifact]}
      [extension {"+" [Extension]}]]]])
 
 (type: .public Address
-- 
cgit v1.2.3