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/specification/aedifex/repository.lux | 24 +++++++++++-----------
 1 file changed, 12 insertions(+), 12 deletions(-)

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

diff --git a/stdlib/source/specification/aedifex/repository.lux b/stdlib/source/specification/aedifex/repository.lux
index e08211d32..bf430a368 100644
--- a/stdlib/source/specification/aedifex/repository.lux
+++ b/stdlib/source/specification/aedifex/repository.lux
@@ -5,23 +5,23 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try {"+" [Try]}]
+     ["[0]" try {"+" [Try]}]
      [concurrency
-      ["." async {"+" [Async]}]]]
+      ["[0]" async {"+" [Async]}]]]
     [data
-     ["." binary
-      ["_#" \\test]]]
+     ["[0]" binary
+      ["_[1]" \\test]]]
     [math
-     ["." random]]]]
+     ["[0]" random]]]]
   [\\program
-   ["." /
-    ["#." remote]
-    ["/#" // "_"
-     ["#." artifact {"+" [Artifact]}
-      ["#/." extension]]]]]
+   ["[0]" /
+    ["[1][0]" remote]
+    ["/[1]" // "_"
+     ["[1][0]" artifact {"+" [Artifact]}
+      ["[1]/[0]" extension]]]]]
   [\\test
-   ["_." // "_"
-    ["#." artifact]]])
+   ["_[0]" // "_"
+    ["[1][0]" artifact]]])
 
 (def: .public (spec valid_artifact invalid_artifact subject)
   (-> Artifact Artifact (/.Repository Async) Test)
-- 
cgit v1.2.3