De-taggification | part 4

3 files changed, 57 insertions, 57 deletions

diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index 73249fe27..c6bdaf517 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -4,42 +4,42 @@
     [abstract
      [monad {"+" [Monad do]}]]
     [control
-     ["." maybe]
+     ["[0]" maybe]
      ["<>" parser
-      ["<.>" type]]]
+      ["<[0]>" type]]]
     [data
-     ["." product]
-     ["." bit]
-     ["." text ("#\." monoid)
+     ["[0]" product]
+     ["[0]" bit]
+     ["[0]" text ("[1]\[0]" monoid)
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." monad)]
-      ["." row]
-      ["." array]
-      ["." queue]
-      ["." set]
-      ["." dictionary {"+" [Dictionary]}]
-      ["." tree]]]
+      ["[0]" list ("[1]\[0]" monad)]
+      ["[0]" row]
+      ["[0]" array]
+      ["[0]" queue]
+      ["[0]" set]
+      ["[0]" dictionary {"+" [Dictionary]}]
+      ["[0]" tree]]]
     [macro
      [syntax {"+" [syntax:]}]
-     ["." code]]
+     ["[0]" code]]
     [math
      [number
-      ["." nat ("#\." decimal)]
-      ["." int]
-      ["." rev]
-      ["." frac]]]
+      ["[0]" nat ("[1]\[0]" decimal)]
+      ["[0]" int]
+      ["[0]" rev]
+      ["[0]" frac]]]
     [time
-     ["." duration]
-     ["." date]
-     ["." instant]
-     ["." day]
-     ["." month]]
-    ["." type
-     ["." poly {"+" [poly:]}]
-     ["." unit]]]]
+     ["[0]" duration]
+     ["[0]" date]
+     ["[0]" instant]
+     ["[0]" day]
+     ["[0]" month]]
+    ["[0]" type
+     ["[0]" poly {"+" [poly:]}]
+     ["[0]" unit]]]]
   [\\library
-   ["." /]])
+   ["[0]" /]])
 
 (poly: .public equivalence
   (`` (do [! <>.monad]
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index 151ea600c..9537f3d38 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -5,24 +5,24 @@
      [monad {"+" [Monad do]}]]
     [control
      ["p" parser
-      ["<.>" type]
+      ["<[0]>" type]
       ["s" code {"+" [Parser]}]]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." monad monoid)]]]
+      ["[0]" list ("[1]\[0]" monad monoid)]]]
     [macro
      [syntax {"+" [syntax:]}]
-     ["." code]]
+     ["[0]" code]]
     [math
      [number
       ["n" nat]]]
-    ["." type
-     ["." poly {"+" [poly:]}]]]]
+    ["[0]" type
+     ["[0]" poly {"+" [poly:]}]]]]
   [\\library
-   ["." /]])
+   ["[0]" /]])
 
 (poly: .public functor
   (do [! p.monad]
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index a1c82c509..75f042b58 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -2,43 +2,43 @@
   {#.doc "Codecs for values in the JSON format."}
   [library
    [lux "*"
-    ["." debug]
+    ["[0]" debug]
     [abstract
      [monad {"+" [do]}]
-     ["." codec]]
+     ["[0]" codec]]
     [control
-     ["." try]
+     ["[0]" try]
      ["<>" parser
       ["</>" json]
-      ["<.>" type]
-      ["<.>" code]]]
+      ["<[0]>" type]
+      ["<[0]>" code]]]
     [data
-     ["." text
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." monad)]
-      ["." row {"+" [row]}]
-      ["." dictionary]]]
+      ["[0]" list ("[1]\[0]" monad)]
+      ["[0]" row {"+" [row]}]
+      ["[0]" dictionary]]]
     [macro
      [syntax {"+" [syntax:]}]
-     ["." code]]
+     ["[0]" code]]
     [math
      [number
-      ["n" nat ("#\." decimal)]
-      ["." i64]
-      ["." int]
-      ["." frac]]]
+      ["n" nat ("[1]\[0]" decimal)]
+      ["[0]" i64]
+      ["[0]" int]
+      ["[0]" frac]]]
     [time
-     ... ["." instant]
-     ... ["." duration]
-     ["." date]
-     ["." day]
-     ["." month]]
-    ["." type
-     ["." unit]
-     ["." poly {"+" [poly:]}]]]]
+     ... ["[0]" instant]
+     ... ["[0]" duration]
+     ["[0]" date]
+     ["[0]" day]
+     ["[0]" month]]
+    ["[0]" type
+     ["[0]" unit]
+     ["[0]" poly {"+" [poly:]}]]]]
   [\\library
-   ["." / {"+" [JSON]}]])
+   ["[0]" / {"+" [JSON]}]])
 
 (def: tag
   (-> Nat Frac)