De-taggification | part 4

1 files changed, 8 insertions, 8 deletions

diff --git a/stdlib/source/test/lux/math/logic/fuzzy.lux b/stdlib/source/test/lux/math/logic/fuzzy.lux
index 1fbf47636..d7e6d1000 100644
--- a/stdlib/source/test/lux/math/logic/fuzzy.lux
+++ b/stdlib/source/test/lux/math/logic/fuzzy.lux
@@ -7,21 +7,21 @@
      [monad {"+" [do]}]
      [\\specification
       [functor
-       ["$." contravariant]]]]
+       ["$[0]" contravariant]]]]
     [data
-     ["." bit ("#\." equivalence)]
+     ["[0]" bit ("[1]\[0]" equivalence)]
      [collection
-      ["." list]
-      ["." set]]]
+      ["[0]" list]
+      ["[0]" set]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
       ["n" nat]
       ["r" rev]]]]]
   [\\library
-   ["." / {"+" [Fuzzy]}
-    ["/#" // "_"
-     ["#" continuous]]]])
+   ["[0]" / {"+" [Fuzzy]}
+    ["/[1]" // "_"
+     ["[1]" continuous]]]])
 
 (def: trivial
   Test