Refator: operators

eliascarv · Feb 5, 2023 · c23e149 · c23e149
1 parent 1cf1a10
commit c23e149
Showing 1 changed file with 4 additions and 5 deletions.
diff --git a/src/operators.jl b/src/operators.jl
@@ -1,9 +1,8 @@
 (-->)(x::Bool, y::Bool) = !x || y
-(<-->)(x::Bool, y::Bool) = x ≡ y
-∧(x::Bool, y::Bool) = x && y
-∨(x::Bool, y::Bool) = x || y
-¬(x::Bool) = !x
-
+const (<-->) = (===)
+const ∧ = &
+const ∨ = |
+const ¬ = !
 const → = (-->)
 const ⇒ = (-->)
 const ↔ = (<-->)