De-taggification | part 4

4 files changed, 32 insertions, 32 deletions

diff --git a/stdlib/source/test/aedifex/repository/identity.lux b/stdlib/source/test/aedifex/repository/identity.lux
index 045136c43..971e18a4b 100644
--- a/stdlib/source/test/aedifex/repository/identity.lux
+++ b/stdlib/source/test/aedifex/repository/identity.lux
@@ -4,11 +4,11 @@
     ["_" test {"+" [Test]}]
     [abstract
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Identity)
diff --git a/stdlib/source/test/aedifex/repository/local.lux b/stdlib/source/test/aedifex/repository/local.lux
index 135e10867..03c64b69a 100644
--- a/stdlib/source/test/aedifex/repository/local.lux
+++ b/stdlib/source/test/aedifex/repository/local.lux
@@ -5,23 +5,23 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["." environment]]
+      ["[0]" environment]]
      [concurrency
-      ["." async]]]
+      ["[0]" async]]]
     [data
-     ["." binary ("#\." equivalence)]
+     ["[0]" binary ("[1]\[0]" equivalence)]
      [text
       [encoding
-       ["." utf8]]]]
+       ["[0]" utf8]]]]
     [math
-     ["." random]]
+     ["[0]" random]]
     [world
-     ["." file]
-     ["." program]]]]
+     ["[0]" file]
+     ["[0]" program]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public test
   Test
diff --git a/stdlib/source/test/aedifex/repository/origin.lux b/stdlib/source/test/aedifex/repository/origin.lux
index 6567471a1..f160df2e3 100644
--- a/stdlib/source/test/aedifex/repository/origin.lux
+++ b/stdlib/source/test/aedifex/repository/origin.lux
@@ -4,11 +4,11 @@
     ["_" test {"+" [Test]}]
     [abstract
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [math
-     ["." random {"+" [Random]}]]]]
+     ["[0]" random {"+" [Random]}]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Origin)
diff --git a/stdlib/source/test/aedifex/repository/remote.lux b/stdlib/source/test/aedifex/repository/remote.lux
index dfdbe03c5..9e405ddc5 100644
--- a/stdlib/source/test/aedifex/repository/remote.lux
+++ b/stdlib/source/test/aedifex/repository/remote.lux
@@ -5,31 +5,31 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." io {"+" [IO]}]
-     ["." maybe ("#\." functor)]
-     ["." try ("#\." monad)]
-     ["." exception]
-     ["." function]]
+     ["[0]" io {"+" [IO]}]
+     ["[0]" maybe ("[1]\[0]" functor)]
+     ["[0]" try ("[1]\[0]" monad)]
+     ["[0]" exception]
+     ["[0]" function]]
     [data
-     ["." binary ("#\." equivalence)]
-     ["." text ("#\." equivalence)
+     ["[0]" binary ("[1]\[0]" equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [collection
-      ["." dictionary]]]
+      ["[0]" dictionary]]]
     [math
-     ["." random {"+" [Random]}]]
+     ["[0]" random {"+" [Random]}]]
     [world
      [net {"+" [URL]}
-      ["." http "_"
-       ["#" client]
-       ["#/." status]
-       ["@#" /]]]]]]
+      ["[0]" http "_"
+       ["[1]" client]
+       ["[1]/[0]" status]
+       ["@[1]" /]]]]]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#." identity]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1][0]" identity]]]])
 
 (def: (url_body url)
   (-> URL (@http.Body IO))