De-sigil-ification: prefix :

1 files changed, 10 insertions, 9 deletions

diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index fe61d1a33..fb4ddd758 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -2,6 +2,7 @@
  [library
   [lux "*"
    ["_" test {"+" Test}]
+   ["[0]" type]
    [abstract
     [monad {"+" do}]]
    [control
@@ -42,22 +43,22 @@
     (_.test "Interchange."
             ((comparison n.=)
              (/#on (injection sample) (injection increase))
-             (/#on (injection increase) (injection (: (-> (-> Nat Nat) Nat)
-                                                      (function (_ f) (f sample)))))))))
+             (/#on (injection increase) (injection (is (-> (-> Nat Nat) Nat)
+                                                       (function (_ f) (f sample)))))))))
 
 (def: (composition injection comparison (open "/#[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
-  (:let [:$/1: (-> Nat Nat)]
+  (type.let [:$/1: (-> Nat Nat)]
     (do [! random.monad]
       [sample random.nat
-       increase (: (Random :$/1:)
-                   (# ! each n.+ random.nat))
-       decrease (: (Random :$/1:)
-                   (# ! each n.- random.nat))]
+       increase (is (Random :$/1:)
+                    (# ! each n.+ random.nat))
+       decrease (is (Random :$/1:)
+                    (# ! each n.- random.nat))]
       (_.test "Composition."
               ((comparison n.=)
-               (|> (injection (: (-> :$/1: :$/1: :$/1:)
-                                 function.composite))
+               (|> (injection (is (-> :$/1: :$/1: :$/1:)
+                                  function.composite))
                    (/#on (injection increase))
                    (/#on (injection decrease))
                    (/#on (injection sample)))