Re-named \ => # && \\ => ##

1 files changed, 17 insertions, 17 deletions

diff --git a/stdlib/source/specification/lux/abstract/apply.lux b/stdlib/source/specification/lux/abstract/apply.lux
index f14a43aa5..9b52df567 100644
--- a/stdlib/source/specification/lux/abstract/apply.lux
+++ b/stdlib/source/specification/lux/abstract/apply.lux
@@ -15,49 +15,49 @@
   [//
    [functor {"+" [Injection Comparison]}]])
 
-(def: (identity injection comparison (^open "\[0]"))
+(def: (identity injection comparison (^open "#[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (do [! random.monad]
-    [sample (\ ! each injection random.nat)]
+    [sample (# ! each injection random.nat)]
     (_.test "Identity."
             ((comparison n.=)
-             (\on sample (injection function.identity))
+             (#on sample (injection function.identity))
              sample))))
 
-(def: (homomorphism injection comparison (^open "\[0]"))
+(def: (homomorphism injection comparison (^open "#[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (do [! random.monad]
     [sample random.nat
-     increase (\ ! each n.+ random.nat)]
+     increase (# ! each n.+ random.nat)]
     (_.test "Homomorphism."
             ((comparison n.=)
-             (\on (injection sample) (injection increase))
+             (#on (injection sample) (injection increase))
              (injection (increase sample))))))
 
-(def: (interchange injection comparison (^open "\[0]"))
+(def: (interchange injection comparison (^open "#[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (do [! random.monad]
     [sample random.nat
-     increase (\ ! each n.+ random.nat)]
+     increase (# ! each n.+ random.nat)]
     (_.test "Interchange."
             ((comparison n.=)
-             (\on (injection sample) (injection increase))
-             (\on (injection increase) (injection (: (-> (-> Nat Nat) Nat)
+             (#on (injection sample) (injection increase))
+             (#on (injection increase) (injection (: (-> (-> Nat Nat) Nat)
                                                      (function (_ f) (f sample)))))))))
 
-(def: (composition injection comparison (^open "\[0]"))
+(def: (composition injection comparison (^open "#[0]"))
   (All (_ f) (-> (Injection f) (Comparison f) (Apply f) Test))
   (do [! random.monad]
     [sample random.nat
-     increase (\ ! each n.+ random.nat)
-     decrease (\ ! each n.- random.nat)]
+     increase (# ! each n.+ random.nat)
+     decrease (# ! each n.- random.nat)]
     (_.test "Composition."
             ((comparison n.=)
              (|> (injection function.composite)
-                 (\on (injection increase))
-                 (\on (injection decrease))
-                 (\on (injection sample)))
-             (\on (\on (injection sample)
+                 (#on (injection increase))
+                 (#on (injection decrease))
+                 (#on (injection sample)))
+             (#on (#on (injection sample)
                        (injection increase))
                   (injection decrease))))))