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/project.lux | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/project.lux b/stdlib/source/test/aedifex/project.lux
index 2e7eab542..94e61bd7c 100644
--- a/stdlib/source/test/aedifex/project.lux
+++ b/stdlib/source/test/aedifex/project.lux
@@ -5,24 +5,24 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]
-      ["$." monoid]]]
+      ["$[0]" equivalence]
+      ["$[0]" monoid]]]
     [control
-     ["." try ("#\." functor)]
-     ["." exception]]
+     ["[0]" try ("[1]\[0]" functor)]
+     ["[0]" exception]]
     [data
-     ["." product]
-     ["." text ("#\." equivalence)]]
+     ["[0]" product]
+     ["[0]" text ("[1]\[0]" equivalence)]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
      [number
       ["n" nat]]]]]
   [//
-   ["@." profile]]
+   ["@[0]" profile]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#" profile]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1]" profile]]]])
 
 (def: profile
   (Random [//.Name //.Profile])
-- 
cgit v1.2.3