From 95a6644a6cf954417ed639cf7f6dc43d909995b7 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Fri, 3 Mar 2023 12:19:15 +0100
Subject: [PATCH] rename <&&>/<||> to andM/orM

---
 lib/Quox/BoolExtra.idr | 10 +++++-----
 lib/Quox/Equal.idr     |  2 +-
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/lib/Quox/BoolExtra.idr b/lib/Quox/BoolExtra.idr
index c592ea9..69a7495 100644
--- a/lib/Quox/BoolExtra.idr
+++ b/lib/Quox/BoolExtra.idr
@@ -3,10 +3,10 @@ module Quox.BoolExtra
 import public Data.Bool
 
 
-infixr 5 <&&>
-infixr 4 <||>
+infixr 5 `andM`
+infixr 4 `orM`
 
 public export
-(<&&>), (<||>) : Monad m => m Bool -> m Bool -> m Bool
-a <&&> b = if     !a then b else pure False
-a <||> b = if not !a then b else pure True
+andM, orM : Monad m => m Bool -> m Bool -> m Bool
+andM a b = if     !a then b else pure False
+orM  a b = if not !a then b else pure True
diff --git a/lib/Quox/Equal.idr b/lib/Quox/Equal.idr
index 1e2a61b..f3e815f 100644
--- a/lib/Quox/Equal.idr
+++ b/lib/Quox/Equal.idr
@@ -92,7 +92,7 @@ parameters (defs : Definitions' q g)
       TYPE _          => pure False
       Pi   {res, _}   => isSubSing res.term
       Lam  {}         => pure False
-      Sig  {fst, snd} => isSubSing fst <&&> isSubSing snd.term
+      Sig  {fst, snd} => isSubSing fst `andM` isSubSing snd.term
       Pair {}         => pure False
       Enum tags       => pure $ length (SortedSet.toList tags) <= 1
       Tag  {}         => pure False