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/program/aedifex/artifact/time/date.lux | 12 ++++++------
 stdlib/source/program/aedifex/artifact/time/time.lux |  8 ++++----
 2 files changed, 10 insertions(+), 10 deletions(-)

(limited to 'stdlib/source/program/aedifex/artifact/time')

diff --git a/stdlib/source/program/aedifex/artifact/time/date.lux b/stdlib/source/program/aedifex/artifact/time/date.lux
index deb9cb8ed..18688bf1a 100644
--- a/stdlib/source/program/aedifex/artifact/time/date.lux
+++ b/stdlib/source/program/aedifex/artifact/time/date.lux
@@ -5,10 +5,10 @@
      [monad {"+" [do]}]
      [equivalence {"+" [Equivalence]}]]
     [control
-     ["." try {"+" [Try]}]
-     ["." exception {"+" [exception:]}]
+     ["[0]" try {"+" [Try]}]
+     ["[0]" exception {"+" [exception:]}]
      ["<>" parser
-      ["<.>" text {"+" [Parser]}]]]
+      ["<[0]>" text {"+" [Parser]}]]]
     [data
      [text
       ["%" format]]]
@@ -17,9 +17,9 @@
       ["n" nat]
       ["i" int]]]
     [time
-     ["." date ("#\." equivalence)]
-     ["." year]
-     ["." month]]
+     ["[0]" date ("[1]\[0]" equivalence)]
+     ["[0]" year]
+     ["[0]" month]]
     [type
      abstract]]])
 
diff --git a/stdlib/source/program/aedifex/artifact/time/time.lux b/stdlib/source/program/aedifex/artifact/time/time.lux
index 5fca26062..c27b1b69c 100644
--- a/stdlib/source/program/aedifex/artifact/time/time.lux
+++ b/stdlib/source/program/aedifex/artifact/time/time.lux
@@ -1,20 +1,20 @@
 (.module:
   [library
    [lux "*"
-    ["." time]
+    ["[0]" time]
     [abstract
      [monad {"+" [do]}]]
     [control
      ["<>" parser
-      ["<.>" text {"+" [Parser]}]]]
+      ["<[0]>" text {"+" [Parser]}]]]
     [data
      [text
       ["%" format]]]
     [math
      [number
       ["n" nat]]]]]
-  ["." // "_"
-   ["#" date]])
+  ["[0]" // "_"
+   ["[1]" date]])
 
 (type: .public Time
   time.Time)
-- 
cgit v1.2.3