From 35c0807799717cd720ab28b35851c1a01a67445d Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Tue, 7 Sep 2021 22:50:21 -0400
Subject: De-taggification | part 4

---
 stdlib/source/documentation/lux.lux | 66 ++++++++++++++++++-------------------
 1 file changed, 33 insertions(+), 33 deletions(-)

(limited to 'stdlib/source/documentation/lux.lux')

diff --git a/stdlib/source/documentation/lux.lux b/stdlib/source/documentation/lux.lux
index 88102d67a..d7eba1182 100644
--- a/stdlib/source/documentation/lux.lux
+++ b/stdlib/source/documentation/lux.lux
@@ -3,42 +3,42 @@
    [lux
     [program {"+" [program:]}]
     ["$" documentation {"+" [documentation:]}]
-    ["." debug]
+    ["[0]" debug]
     [control
-     ["." io]
+     ["[0]" io]
      ["<>" parser
-      ["<.>" code]]]
+      ["<[0]>" code]]]
     [data
-     ["." text {"+" [\n]}
+     ["[0]" text {"+" [\n]}
       ["%" format {"+" [format]}]]
      [collection
-      ["." list]
-      ["." set]]]
+      ["[0]" list]
+      ["[0]" set]]]
     [macro
-     ["." template]]]]
+     ["[0]" template]]]]
   [\\library
-   ["." /]]
-  ["." / "_"
-   ["#." abstract]
-   ["#." control]
-   ["#." data]
-   ["#." debug]
-   ["#." documentation]
-   ["#." extension]
-   ["#." ffi]
-   ["#." locale]
-   ["#." macro]
-   ["#." math]
-   ["#." meta]
-   ["#." program]
-   ["#." static]
-   ["#." target]
-   ["#." test]
-   ["#." time]
-   ["#." tool] ... TODO: Documentation for this
-   ["#." type]
-   ["#." world]
-   ... ["#." target "_"
+   ["[0]" /]]
+  ["[0]" / "_"
+   ["[1][0]" abstract]
+   ["[1][0]" control]
+   ["[1][0]" data]
+   ["[1][0]" debug]
+   ["[1][0]" documentation]
+   ["[1][0]" extension]
+   ["[1][0]" ffi]
+   ["[1][0]" locale]
+   ["[1][0]" macro]
+   ["[1][0]" math]
+   ["[1][0]" meta]
+   ["[1][0]" program]
+   ["[1][0]" static]
+   ["[1][0]" target]
+   ["[1][0]" test]
+   ["[1][0]" time]
+   ["[1][0]" tool] ... TODO: Documentation for this
+   ["[1][0]" type]
+   ["[1][0]" world]
+   ... ["[1][0]" target "_"
    ...  <target>]
    ])
 
@@ -536,7 +536,7 @@
           \n "Takes an 'alias' text for the generated local bindings.")
   [(def: .public (range enum from to)
      (All (_ a) (-> (Enum a) a a (List a)))
-     (let [(^open ".") enum]
+     (let [(^open "[0]") enum]
        (loop [end to
               output #.End]
          (cond (< end from)
@@ -565,7 +565,7 @@
 
 (documentation: /.open:
   "Opens a implementation and generates a definition for each of its members (including nested members)."
-  [(open: "i:." order)
+  [(open: "i:[0]" order)
    "=>"
    (def: i:= (\ order =))
    (def: i:< (\ order <))])
@@ -601,11 +601,11 @@
        ["M" monad "*"]]
       [data
        maybe
-       ["." name ("#\." codec)]]
+       ["[0]" name ("[1]\[0]" codec)]]
       [macro
        code]]
      [//
-      [type ("." equivalence)]])])
+      [type ("[0]" equivalence)]])])
 
 (documentation: /.\
   "Allows accessing the value of a implementation's member."
-- 
cgit v1.2.3