diff options
| author | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
|---|---|---|
| committer | Eduardo Julian | 2021-09-12 15:39:55 -0400 |
| commit | 2dbbaaec93a53f8dd0b96a0028b9cf125c9066cd (patch) | |
| tree | 14bc8b5abe09b46ef005c3ff7cf132f1d98ddf0d /stdlib/source/library/lux/data/product.lux | |
| parent | dda05bca0956af5e5b3875c4cc36e61aa04772e4 (diff) | |
Re-named \ => # && \\ => ##
Diffstat (limited to 'stdlib/source/library/lux/data/product.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/product.lux | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/stdlib/source/library/lux/data/product.lux b/stdlib/source/library/lux/data/product.lux index df2df9ed1..22cb46a1a 100644 --- a/stdlib/source/library/lux/data/product.lux +++ b/stdlib/source/library/lux/data/product.lux @@ -53,16 +53,16 @@ (All (_ l r) (-> (Equivalence l) (Equivalence r) (Equivalence [l r]))) (def: (= [rl rr] [sl sr]) - (and (\ left = rl sl) - (\ right = rr sr)))) + (and (# left = rl sl) + (# right = rr sr)))) (def: .public (hash left right) (All (_ l r) (-> (Hash l) (Hash r) (Hash [l r]))) (implementation (def: &equivalence - (..equivalence (\ left &equivalence) - (\ right &equivalence))) + (..equivalence (# left &equivalence) + (# right &equivalence))) (def: (hash [leftV rightV]) ("lux i64 +" - (\ left hash leftV) - (\ right hash rightV))))) + (# left hash leftV) + (# right hash rightV))))) |