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

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

diff --git a/stdlib/source/test/aedifex/artifact/snapshot.lux b/stdlib/source/test/aedifex/artifact/snapshot.lux
index e04b49e71..b411f425c 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot.lux
@@ -5,20 +5,20 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" xml]]]
+      ["<[0]>" xml]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]]]]
-  ["$." / "_"
-   ["#." build]
-   ["#." stamp]
-   ["#." time]
-   ["#." version]]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]]]]
+  ["$[0]" / "_"
+   ["[1][0]" build]
+   ["[1][0]" stamp]
+   ["[1][0]" time]
+   ["[1][0]" version]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Snapshot)
-- 
cgit v1.2.3