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/artifact/extension.lux | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

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

diff --git a/stdlib/source/test/aedifex/artifact/extension.lux b/stdlib/source/test/aedifex/artifact/extension.lux
index 4a99544db..e9ecafe17 100644
--- a/stdlib/source/test/aedifex/artifact/extension.lux
+++ b/stdlib/source/test/aedifex/artifact/extension.lux
@@ -5,18 +5,18 @@
     [abstract
      [monad {"+" [do]}]]
     [data
-     ["." text ("#\." equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)]
      [collection
-      ["." set]
-      ["." list]]]
+      ["[0]" set]
+      ["[0]" list]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]]]]]
   [\\program
-   ["." /
-    ["/#" // "_"
-     ["#" type]]]])
+   ["[0]" /
+    ["/[1]" // "_"
+     ["[1]" type]]]])
 
 (def: .public test
   Test
-- 
cgit v1.2.3