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

---
 stdlib/source/library/lux/math/number/i32.lux | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'stdlib/source/library/lux/math/number/i32.lux')

diff --git a/stdlib/source/library/lux/math/number/i32.lux b/stdlib/source/library/lux/math/number/i32.lux
index 63edd2244..34174ddec 100644
--- a/stdlib/source/library/lux/math/number/i32.lux
+++ b/stdlib/source/library/lux/math/number/i32.lux
@@ -1,13 +1,13 @@
 (.module:
   [library
-   [lux (#- i64)
-    [type (#+ :by_example)]
+   [lux {"-" [i64]}
+    [type {"+" [:by_example]}]
     [abstract
-     [equivalence (#+ Equivalence)]]
+     [equivalence {"+" [Equivalence]}]]
     [control
      ["." maybe]]]]
   [//
-   ["." i64 (#+ Sub)]])
+   ["." i64 {"+" [Sub]}]])
 
 (def: sub
   (maybe.trusted (i64.sub 32)))
-- 
cgit v1.2.3