Merge pull request #7 from glguy/master

Change fixity of set union and intersection
agda · Feb 16, 2014 · bd6b7c0 · bd6b7c0
2 parents 862eea7 + de491b0
commit bd6b7c0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/Relation/Unary.agda b/src/Relation/Unary.agda
@@ -107,14 +107,14 @@ module _ {a} {A : Set a} -- The universe of discourse.
 
   -- Set union.
 
-  infixl 6 _∪_
+  infixr 6 _∪_
 
   _∪_ : ∀ {ℓ₁ ℓ₂} → Pred A ℓ₁ → Pred A ℓ₂ → Pred A _
   P ∪ Q = λ x → x ∈ P ⊎ x ∈ Q
 
   -- Set intersection.
 
-  infixl 7 _∩_
+  infixr 7 _∩_
 
   _∩_ : ∀ {ℓ₁ ℓ₂} → Pred A ℓ₁ → Pred A ℓ₂ → Pred A _
   P ∩ Q = λ x → x ∈ P × x ∈ Q