De-taggification | part 4

1 files changed, 12 insertions, 12 deletions

diff --git a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
index e63453f84..bccd76fac 100644
--- a/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
+++ b/stdlib/source/test/aedifex/artifact/snapshot/version/value.lux
@@ -5,28 +5,28 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" text]]]
+      ["<[0]>" text]]]
     [data
-     ["." text ("#\." equivalence)
+     ["[0]" text ("[1]\[0]" equivalence)
       ["%" format {"+" [format]}]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
      [number
       ["n" nat]
       ["i" int]]]
     [time
-     ["." instant]]]]
-  ["$." /// "_"
-   ["#." stamp]]
+     ["[0]" instant]]]]
+  ["$[0]" /// "_"
+   ["[1][0]" stamp]]
   [\\program
-   ["." /
-    ["//#" ///
-     ["#." stamp]
-     ["#." time]]]])
+   ["[0]" /
+    ["//[1]" ///
+     ["[1][0]" stamp]
+     ["[1][0]" time]]]])
 
 (def: .public random
   (Random /.Value)