De-taggification | part 4

3 files changed, 71 insertions, 71 deletions

diff --git a/stdlib/source/test/aedifex/dependency/deployment.lux b/stdlib/source/test/aedifex/dependency/deployment.lux
index 8dfa5a853..5b7869eab 100644
--- a/stdlib/source/test/aedifex/dependency/deployment.lux
+++ b/stdlib/source/test/aedifex/dependency/deployment.lux
@@ -4,50 +4,50 @@
     ["_" test {"+" [Test]}]
     [abstract
      [monad {"+" [do]}]
-     ["." hash {"+" [Hash]}]]
+     ["[0]" hash {"+" [Hash]}]]
     [control
-     ["." io {"+" [IO]}]
-     ["." maybe ("#\." functor)]
-     ["." try ("#\." functor)]
+     ["[0]" io {"+" [IO]}]
+     ["[0]" maybe ("[1]\[0]" functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [concurrency
-      ["." atom {"+" [Atom]}]
-      ["." async]]]
+      ["[0]" atom {"+" [Atom]}]
+      ["[0]" async]]]
     [data
-     ["." product]
-     ["." binary {"+" [Binary]} ("#\." equivalence)]
-     ["." text
+     ["[0]" product]
+     ["[0]" binary {"+" [Binary]} ("[1]\[0]" equivalence)]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." dictionary {"+" [Dictionary]}]
-      ["." set]
-      ["." list ("#\." mix)]]]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" set]
+      ["[0]" list ("[1]\[0]" mix)]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]]]
     [world
      [net {"+" [URL]}
-      ["." uri {"+" [URI]}]
-      ["." http "_"
-       ["#" client]
-       ["#/." status]
-       ["@#" /]]]]]]
-  ["$." //
-   ["#/" // "_"
-    ["#." package]]]
+      ["[0]" uri {"+" [URI]}]
+      ["[0]" http "_"
+       ["[1]" client]
+       ["[1]/[0]" status]
+       ["@[1]" /]]]]]]
+  ["$[0]" //
+   ["[1]/" // "_"
+    ["[1][0]" package]]]
   [\\program
-   ["." /
+   ["[0]" /
     [// {"+" [Dependency]}
-     ["." resolution]
+     ["[0]" resolution]
      [//
-      ["." profile]
-      ["." metadata]
-      ["." package {"+" [Package]}]
-      ["." artifact {"+" [Artifact]} ("#\." equivalence)
-       ["#/." type]
-       ["#/." extension]]
-      ["." repository
-       ["." remote]]]]]])
+      ["[0]" profile]
+      ["[0]" metadata]
+      ["[0]" package {"+" [Package]}]
+      ["[0]" artifact {"+" [Artifact]} ("[1]\[0]" equivalence)
+       ["[1]/[0]" type]
+       ["[1]/[0]" extension]]
+      ["[0]" repository
+       ["[0]" remote]]]]]])
 
 (def: good_upload
   (@http.Response IO)
diff --git a/stdlib/source/test/aedifex/dependency/resolution.lux b/stdlib/source/test/aedifex/dependency/resolution.lux
index 7297b99ee..2fe39286d 100644
--- a/stdlib/source/test/aedifex/dependency/resolution.lux
+++ b/stdlib/source/test/aedifex/dependency/resolution.lux
@@ -4,49 +4,49 @@
     ["_" test {"+" [Test]}]
     [abstract
      [monad {"+" [do]}]
-     ["." predicate]
+     ["[0]" predicate]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try]
-     ["." exception]
+     ["[0]" try]
+     ["[0]" exception]
      [concurrency
-      ["." async]]]
+      ["[0]" async]]]
     [data
      [binary {"+" [Binary]}]
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]
       [encoding
-       ["." utf8]]]
+       ["[0]" utf8]]]
      [format
-      ["." xml]]
+      ["[0]" xml]]
      [collection
-      ["." dictionary]
-      ["." set]
-      ["." list]]]
+      ["[0]" dictionary]
+      ["[0]" set]
+      ["[0]" list]]]
     [math
-     ["." random {"+" [Random]}]]]]
-  ["$." /// "_"
-   ["#." package]
-   ["#." repository]
-   ["#." artifact]
+     ["[0]" random {"+" [Random]}]]]]
+  ["$[0]" /// "_"
+   ["[1][0]" package]
+   ["[1][0]" repository]
+   ["[1][0]" artifact]
    [command
-    ["#." version]]]
+    ["[1][0]" version]]]
   [\\program
-   ["." /
-    ["//#" /// "_"
-     ["#" profile]
-     ["#." package {"+" [Package]}]
-     ["#." hash]
-     ["#." dependency {"+" [Dependency]} ("#\." equivalence)
-      ["#/." status]]
-     ["#." pom]
-     ["#." artifact {"+" [Artifact]}
-      ["#/." type]
-      ["#/." extension]]
-     ["#." repository {"+" [Mock]}
-      ["#/." origin]]]]])
+   ["[0]" /
+    ["//[1]" /// "_"
+     ["[1]" profile]
+     ["[1][0]" package {"+" [Package]}]
+     ["[1][0]" hash]
+     ["[1][0]" dependency {"+" [Dependency]} ("[1]\[0]" equivalence)
+      ["[1]/[0]" status]]
+     ["[1][0]" pom]
+     ["[1][0]" artifact {"+" [Artifact]}
+      ["[1]/[0]" type]
+      ["[1]/[0]" extension]]
+     ["[1][0]" repository {"+" [Mock]}
+      ["[1]/[0]" origin]]]]])
 
 (def: random
   (Random /.Resolution)
diff --git a/stdlib/source/test/aedifex/dependency/status.lux b/stdlib/source/test/aedifex/dependency/status.lux
index 65bd7161e..981f18b0e 100644
--- a/stdlib/source/test/aedifex/dependency/status.lux
+++ b/stdlib/source/test/aedifex/dependency/status.lux
@@ -5,18 +5,18 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [data
-     ["." binary "_"
-      ["#T" \\test]]]
+     ["[0]" binary "_"
+      ["[1]T" \\test]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]]]]
-  ["$." /// "_"
-   ["#." hash]]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
+  ["$[0]" /// "_"
+   ["[1][0]" hash]]
   [\\program
-   ["." /
-    ["//#" /// "_"
-     ["#." hash]]]])
+   ["[0]" /
+    ["//[1]" /// "_"
+     ["[1][0]" hash]]]])
 
 (def: .public random
   (Random /.Status)