1 files changed, 3 insertions, 0 deletions

diff --git a/examples/bool.hs b/examples/bool.hs
index 278e9f2..679b8bf 100644
--- a/examples/bool.hs
+++ b/examples/bool.hs
@@ -22,6 +22,9 @@ imp a b   = no a .||. b
 
 taut x = minElement x == 1
 
+minEvery a b = cond a b a a b
+maxEvery a b = cond a b b b a
+
 -- examples
 
 clip a b x = cond y b y y b where y = cond x a a x x