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/runtime.lux | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'stdlib/source/program/aedifex/runtime.lux')

diff --git a/stdlib/source/program/aedifex/runtime.lux b/stdlib/source/program/aedifex/runtime.lux
index 3c8ec6485..f600a87f5 100644
--- a/stdlib/source/program/aedifex/runtime.lux
+++ b/stdlib/source/program/aedifex/runtime.lux
@@ -4,15 +4,15 @@
     [abstract
      [equivalence {"+" [Equivalence]}]]
     [data
-     ["." product]
-     ["." text
+     ["[0]" product]
+     ["[0]" text
       ["%" format {"+" [format]}]]
      [collection
-      ["." list ("#\." monoid)]]]
+      ["[0]" list ("[1]\[0]" monoid)]]]
     [macro
-     ["." template]]
+     ["[0]" template]]
     [world
-     ["." file]]]])
+     ["[0]" file]]]])
 
 (type: .public Runtime
   (Record
-- 
cgit v1.2.3