From fc8bebd3b3c5f050ea92e72eecbd9f6df09f28db Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Sat, 4 Sep 2021 12:49:52 -0400
Subject: De-taggification | part 2

---
 .../specification/compositor/generation/case.lux       | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

(limited to 'stdlib/source/specification/compositor/generation/case.lux')

diff --git a/stdlib/source/specification/compositor/generation/case.lux b/stdlib/source/specification/compositor/generation/case.lux
index d1d0074fd..c7c221eb7 100644
--- a/stdlib/source/specification/compositor/generation/case.lux
+++ b/stdlib/source/specification/compositor/generation/case.lux
@@ -1,32 +1,32 @@
 (.module:
-  [lux (#- case)
-   ["_" test (#+ Test)]
+  [lux {"-" [case]}
+   ["_" test {"+" [Test]}]
    [abstract
-    [monad (#+ do)]]
+    [monad {"+" [do]}]]
    [control
-    [pipe (#+ case>)]
-    ["." try (#+ Try)]]
+    [pipe {"+" [case>]}]
+    ["." try {"+" [Try]}]]
    [data
     ["." text ("#\." equivalence)
-     ["%" format (#+ format)]]
+     ["%" format {"+" [format]}]]
     [number
      ["n" nat]
      ["f" frac]]
     [collection
      ["." list ("#\." mix)]]]
    [math
-    ["r" random (#+ Random)]]
+    ["r" random {"+" [Random]}]]
    [tool
     [compiler
      ["." reference]
      ["." analysis]
-     ["." synthesis (#+ Path Synthesis)]
+     ["." synthesis {"+" [Path Synthesis]}]
      ["." phase
       ["#/." synthesis
        ["." case]]
       ["." extension/synthesis]]]]]
   [///
-   [common (#+ Runner)]])
+   [common {"+" [Runner]}]])
 
 (def: limit Nat 10)
 
-- 
cgit v1.2.3