From 86df87512966e8038d70624ab654262ce14a915c Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Mon, 12 Jul 2021 00:03:36 -0400
Subject: Better syntax for parallel-hierarchy imports.

---
 stdlib/source/poly/lux/abstract/equivalence.lux | 4 ++--
 stdlib/source/poly/lux/abstract/functor.lux     | 4 ++--
 stdlib/source/poly/lux/data/format/json.lux     | 4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)

(limited to 'stdlib/source/poly')

diff --git a/stdlib/source/poly/lux/abstract/equivalence.lux b/stdlib/source/poly/lux/abstract/equivalence.lux
index 8ac11dbb1..590c3c92a 100644
--- a/stdlib/source/poly/lux/abstract/equivalence.lux
+++ b/stdlib/source/poly/lux/abstract/equivalence.lux
@@ -38,8 +38,8 @@
     ["." month]]
    ["." type
     ["." unit]]]
-  {1
-   ["." /]})
+  [\\
+   ["." /]])
 
 (poly: #export equivalence
   (`` (do {! p.monad}
diff --git a/stdlib/source/poly/lux/abstract/functor.lux b/stdlib/source/poly/lux/abstract/functor.lux
index 1ef5c4137..1d90bf0d9 100644
--- a/stdlib/source/poly/lux/abstract/functor.lux
+++ b/stdlib/source/poly/lux/abstract/functor.lux
@@ -20,8 +20,8 @@
    [math
     [number
      ["n" nat]]]]
-  {1
-   ["." /]})
+  [\\
+   ["." /]])
 
 (poly: #export functor
   (do {! p.monad}
diff --git a/stdlib/source/poly/lux/data/format/json.lux b/stdlib/source/poly/lux/data/format/json.lux
index cf3076f72..3022a59a8 100644
--- a/stdlib/source/poly/lux/data/format/json.lux
+++ b/stdlib/source/poly/lux/data/format/json.lux
@@ -39,8 +39,8 @@
     ["." month]]
    ["." type
     ["." unit]]]
-  {1
-   ["." / (#+ JSON)]})
+  [\\
+   ["." / (#+ JSON)]])
 
 (def: tag
   (-> Nat Frac)
-- 
cgit v1.2.3