Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

setops now have junctive precedence

  • Loading branch information...
commit 7deb9d7206fb644efdbd0bfa285cfaf8d5f49387 1 parent a8bc48f
@TimToady TimToady authored
Showing with 6 additions and 6 deletions.
  1. +6 −6 CORE.setting
View
12 CORE.setting
@@ -643,15 +643,15 @@ my proto sub infix:<∋>($, $ --> Bool) is equiv(&infix:<==>) is export {*}
my proto sub infix:<(cont)>($a, $b --> Bool) {*}
my proto sub infix:<∌>($a, $b --> Bool) is equiv(&infix:<==>) is export {*}
-my proto sub infix:<∪>(Any $a, Any $b --> Set) is equiv(&infix:<X>) is export {*}
-my proto sub infix:<(|)>($a, $b --> Set) is equiv(&infix:<X>) is export {*}
+my proto sub infix:<∪>(Any $a, Any $b --> Set) is equiv(&infix:<|>) is export {*}
+my proto sub infix:<(|)>($a, $b --> Set) is equiv(&infix:<|>) is export {*}
-my proto sub infix:<∩>(Any $a, Any $b --> Set) is equiv(&infix:<X>) is export {*}
-my proto sub infix:<(&)>($a, $b --> Set) is equiv(&infix:<X>) is export {*}
+my proto sub infix:<∩>(Any $a, Any $b --> Set) is equiv(&infix:<&>) is export {*}
+my proto sub infix:<(&)>($a, $b --> Set) is equiv(&infix:<&>) is export {*}
-my proto sub infix:<(-)>(Any $a, Any $b --> Set) is equiv(&infix:<X>) is export {*}
+my proto sub infix:<(-)>(Any $a, Any $b --> Set) is equiv(&infix:<^>) is export {*}
-my proto sub infix:<(^)>(Any $a, Any $b --> Set) is equiv(&infix:<X>) is export {*}
+my proto sub infix:<(^)>(Any $a, Any $b --> Set) is equiv(&infix:<^>) is export {*}
my proto sub infix:<⊆>($, $ --> Bool) is equiv(&infix:<==>) is export {*}
my proto sub infix:['(<=)']($a, $b --> Bool) is equiv(&infix:<==>) is export {*}
Please sign in to comment.
Something went wrong with that request. Please try again.