De-sigil-ification: ^

1 files changed, 20 insertions, 20 deletions

diff --git a/stdlib/source/test/lux/type/implicit.lux b/stdlib/source/test/lux/type/implicit.lux
index b061ea059..38e683a02 100644
--- a/stdlib/source/test/lux/type/implicit.lux
+++ b/stdlib/source/test/lux/type/implicit.lux
@@ -1,23 +1,23 @@
 (.using
-  [library
-   [lux "*"
-    ["_" test {"+" Test}]
-    [abstract
-     [equivalence {"+" }]
-     [functor {"+" }]
-     [monoid {"+" }]
-     [monad {"+" do}]
-     ["[0]" enum]]
-    [data
-     ["[0]" bit ("[1]#[0]" equivalence)]
-     [collection
-      ["[0]" list]]]
-    [math
-     ["[0]" random {"+" Random}]
-     [number
-      ["n" nat]]]]]
-  [\\library
-   ["[0]" /]])
+ [library
+  [lux "*"
+   ["_" test {"+" Test}]
+   [abstract
+    [equivalence {"+" }]
+    [functor {"+" }]
+    [monoid {"+" }]
+    [monad {"+" do}]
+    ["[0]" enum]]
+   [data
+    ["[0]" bit ("[1]#[0]" equivalence)]
+    [collection
+     ["[0]" list]]]
+   [math
+    ["[0]" random {"+" Random}]
+    [number
+     ["n" nat]]]]]
+ [\\library
+  ["[0]" /]])
 
 (/.implicit: [n.multiplication])
 
@@ -36,7 +36,7 @@
         ($_ _.and
             (_.cover [/.##]
                      (let [first_order!
-                           (let [(^open "list#[0]") (list.equivalence n.equivalence)]
+                           (let [(open "list#[0]") (list.equivalence n.equivalence)]
                              (and (bit#= (# n.equivalence = left right)
                                          (/.## = left right))
                                   (list#= (# list.functor each ++ (enum.range n.enum start end))