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/type.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

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

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