De-taggification | part 4

5 files changed, 54 insertions, 54 deletions

diff --git a/stdlib/source/test/aedifex/repository.lux b/stdlib/source/test/aedifex/repository.lux
index 9412b5fd5..7958dc7bb 100644
--- a/stdlib/source/test/aedifex/repository.lux
+++ b/stdlib/source/test/aedifex/repository.lux
@@ -5,38 +5,38 @@
     [abstract
      [equivalence {"+" [Equivalence]}]
      [hash {"+" [Hash]}]
-     ["." monad {"+" [do]}]]
+     ["[0]" monad {"+" [do]}]]
     [control
-     ["." io]
-     ["." try]
-     ["." exception {"+" [exception:]}]]
+     ["[0]" io]
+     ["[0]" try]
+     ["[0]" exception {"+" [exception:]}]]
     [data
-     ["." product]
-     ["." binary {"+" [Binary]}]
-     ["." text
+     ["[0]" product]
+     ["[0]" binary {"+" [Binary]}]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary {"+" [Dictionary]}]]]
+      ["[0]" dictionary {"+" [Dictionary]}]]]
     [math
-     ["." random {"+" [Random]}]]
+     ["[0]" random {"+" [Random]}]]
     [world
      [net
-      ["." uri {"+" [URI]}]]]]]
-  ["." / "_"
-   ["#." identity]
-   ["#." origin]
-   ["#." local]
-   ["#." remote]
+      ["[0]" uri {"+" [URI]}]]]]]
+  ["[0]" / "_"
+   ["[1][0]" identity]
+   ["[1][0]" origin]
+   ["[1][0]" local]
+   ["[1][0]" remote]
    [//
-    ["@." artifact]]]
+    ["@[0]" artifact]]]
   [\\specification
-   ["$." /]]
+   ["$[0]" /]]
   [\\program
-   ["." /
-    ["." remote]
-    ["/#" // "_"
-     ["#." artifact {"+" [Version Artifact]}
-      ["#/." extension {"+" [Extension]}]]]]])
+   ["[0]" /
+    ["[0]" remote]
+    ["/[1]" // "_"
+     ["[1][0]" artifact {"+" [Version Artifact]}
+      ["[1]/[0]" extension {"+" [Extension]}]]]]])
 
 (def: artifact
   (-> Version Artifact)
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))