diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/lux/abstract/equivalence.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/lux/abstract/equivalence.lux b/stdlib/source/lux/abstract/equivalence.lux index d65e101a8..a467f0b50 100644 --- a/stdlib/source/lux/abstract/equivalence.lux +++ b/stdlib/source/lux/abstract/equivalence.lux @@ -15,10 +15,10 @@ (def: (= reference sample) (case [reference sample] [(#.Left reference) (#.Left sample)] - (:: left = reference sample) + (\ left = reference sample) [(#.Right reference) (#.Right sample)] - (:: right = reference sample) + (\ right = reference sample) _ false)))) @@ -27,8 +27,8 @@ (All [l r] (-> (Equivalence l) (Equivalence r) (Equivalence [l r]))) (structure (def: (= [a b] [x y]) - (and (:: left = a x) - (:: right = b y))))) + (and (\ left = a x) + (\ right = b y))))) (def: #export (rec sub) (All [a] (-> (-> (Equivalence a) (Equivalence a)) (Equivalence a))) @@ -42,4 +42,4 @@ (def: (map f equivalence) (structure (def: (= reference sample) - (:: equivalence = (f reference) (f sample)))))) + (\ equivalence = (f reference) (f sample)))))) |