De-taggification | part 4

3 files changed, 22 insertions, 22 deletions

diff --git a/stdlib/source/test/aedifex/artifact/time.lux b/stdlib/source/test/aedifex/artifact/time.lux
index a7d3f1463..9cfefe6f6 100644
--- a/stdlib/source/test/aedifex/artifact/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time.lux
@@ -5,22 +5,22 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" text]]]
+      ["<[0]>" text]]]
     [time
-     ["." instant ("#\." equivalence)]]
+     ["[0]" instant ("[1]\[0]" equivalence)]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["i" int]]]]]
   [\\program
-   ["." /]]
-  ["." / "_"
-   ["#." date]
-   ["#." time]])
+   ["[0]" /]]
+  ["[0]" / "_"
+   ["[1][0]" date]
+   ["[1][0]" time]])
 
 (def: .public random
   (Random /.Time)
diff --git a/stdlib/source/test/aedifex/artifact/time/date.lux b/stdlib/source/test/aedifex/artifact/time/date.lux
index 6762ed541..e76cf4259 100644
--- a/stdlib/source/test/aedifex/artifact/time/date.lux
+++ b/stdlib/source/test/aedifex/artifact/time/date.lux
@@ -5,22 +5,22 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." try ("#\." functor)]
-     ["." exception]
+     ["[0]" try ("[1]\[0]" functor)]
+     ["[0]" exception]
      [parser
-      ["<.>" text]]]
+      ["<[0]>" text]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]
       ["i" int]]]
     [time
-     ["." date ("#\." equivalence)]
-     ["." year]]]]
+     ["[0]" date ("[1]\[0]" equivalence)]
+     ["[0]" year]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Date)
diff --git a/stdlib/source/test/aedifex/artifact/time/time.lux b/stdlib/source/test/aedifex/artifact/time/time.lux
index d156d5f03..6351eca60 100644
--- a/stdlib/source/test/aedifex/artifact/time/time.lux
+++ b/stdlib/source/test/aedifex/artifact/time/time.lux
@@ -2,20 +2,20 @@
   [library
    [lux "*"
     ["_" test {"+" [Test]}]
-    ["." time]
+    ["[0]" time]
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." try ("#\." functor)]
+     ["[0]" try ("[1]\[0]" functor)]
      [parser
-      ["<.>" text]]]
+      ["<[0]>" text]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]
       ["i" int]]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Time)