diff options
Diffstat (limited to 'stdlib/source/lux/control/equivalence.lux')
| -rw-r--r-- | stdlib/source/lux/control/equivalence.lux | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/stdlib/source/lux/control/equivalence.lux b/stdlib/source/lux/control/equivalence.lux index dea0e3fa6..5f9ca37b6 100644 --- a/stdlib/source/lux/control/equivalence.lux +++ b/stdlib/source/lux/control/equivalence.lux @@ -15,10 +15,10 @@ (All [l r] (-> (Equivalence l) (Equivalence r) (Equivalence (| l r)))) (structure (def: (= a|b x|y) (case [a|b x|y] - [(+0 a) (+0 x)] + [(|0 a) (|0 x)] (:: left = a x) - [(+1 b) (+1 y)] + [(|1 b) (|1 y)] (:: right = b y) _ |