De-taggification | part 4

1 files changed, 7 insertions, 7 deletions

diff --git a/stdlib/source/test/aedifex/runtime.lux b/stdlib/source/test/aedifex/runtime.lux
index 4653f7c11..0e5b72b01 100644
--- a/stdlib/source/test/aedifex/runtime.lux
+++ b/stdlib/source/test/aedifex/runtime.lux
@@ -5,20 +5,20 @@
     [abstract
      [monad {"+" [do]}]
      [\\specification
-      ["$." equivalence]]]
+      ["$[0]" equivalence]]]
     [control
-     ["." maybe ("#\." functor)]]
+     ["[0]" maybe ("[1]\[0]" functor)]]
     [data
-     ["." text ("#\." equivalence)]
+     ["[0]" text ("[1]\[0]" equivalence)]
      [collection
-      ["." list ("#\." functor)]
-      ["." set]]]
+      ["[0]" list ("[1]\[0]" functor)]
+      ["[0]" set]]]
     [math
-     ["." random {"+" [Random]} ("#\." monad)]
+     ["[0]" random {"+" [Random]} ("[1]\[0]" monad)]
      [number
       ["n" nat]]]]]
   [\\program
-   ["." /]])
+   ["[0]" /]])
 
 (def: .public random
   (Random /.Runtime)