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/remote.lux | 34 ++++++++++++------------
 1 file changed, 17 insertions(+), 17 deletions(-)

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

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