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

---
 stdlib/source/test/aedifex/repository.lux | 44 +++++++++++++++----------------
 1 file changed, 22 insertions(+), 22 deletions(-)

(limited to 'stdlib/source/test/aedifex/repository.lux')

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)
-- 
cgit v1.2.3