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

---
 licentia/source/test/licentia.lux | 64 +++++++++++++++++++--------------------
 1 file changed, 32 insertions(+), 32 deletions(-)

(limited to 'licentia/source/test/licentia.lux')

diff --git a/licentia/source/test/licentia.lux b/licentia/source/test/licentia.lux
index 8f967502a..4940b31eb 100644
--- a/licentia/source/test/licentia.lux
+++ b/licentia/source/test/licentia.lux
@@ -6,43 +6,43 @@
     [abstract
      [monad {"+" [do]}]]
     [control
-     ["." io]
-     ["." maybe ("#\." functor)]]
+     ["[0]" io]
+     ["[0]" maybe ("[1]\[0]" functor)]]
     [data
-     ["." bit ("#\." equivalence)]
-     ["." text]
+     ["[0]" bit ("[1]\[0]" equivalence)]
+     ["[0]" text]
      [collection
-      ["." list ("#\." functor)]]]
+      ["[0]" list ("[1]\[0]" functor)]]]
     [math
-     ["." random {"+" [Random]}]
+     ["[0]" random {"+" [Random]}]
      [number
-      ["n" nat ("#\." interval)]]]]]
+      ["n" nat ("[1]\[0]" interval)]]]]]
   [\\program
-   ["." output]
-   ["." license {"+" [Identification
-                      Termination
-                      Liability
-                      Distribution
-                      Commercial
-                      Extension
-                      Entity Black_List
-                      URL Attribution
-                      Addendum
-                      License]}
-    ["." time {"+" [Period]}]
-    ["." copyright]
-    ["." notice]
-    ["." definition]
-    ["." grant]
-    ["." limitation]
-    ["." submission]
-    ["." liability]
-    ["." distribution]
-    ["." commercial]
-    ["." extension]
-    ["." miscellaneous]
-    ["." black_list]
-    ["." addendum]]])
+   ["[0]" output]
+   ["[0]" license {"+" [Identification
+                        Termination
+                        Liability
+                        Distribution
+                        Commercial
+                        Extension
+                        Entity Black_List
+                        URL Attribution
+                        Addendum
+                        License]}
+    ["[0]" time {"+" [Period]}]
+    ["[0]" copyright]
+    ["[0]" notice]
+    ["[0]" definition]
+    ["[0]" grant]
+    ["[0]" limitation]
+    ["[0]" submission]
+    ["[0]" liability]
+    ["[0]" distribution]
+    ["[0]" commercial]
+    ["[0]" extension]
+    ["[0]" miscellaneous]
+    ["[0]" black_list]
+    ["[0]" addendum]]])
 
 (def: period
   (Random (Period Nat))
-- 
cgit v1.2.3