Update code examples in choice section to use Equiv instead of Eq so not to confuse...

diff --git a/cλash.lhs b/cλash.lhs
index c690e8ebc148dccd999bf6da2ad4ec376d07d5d2..998e6a6896adbfb0fe7381a1ea3cc0271250bfcd 100644 (file)
--- a/cλash.lhs
+++ b/cλash.lhs
@@ -645,7 +645,7 @@ circuit~\cite{reductioncircuit} for floating point numbers.
 
     \begin{code}
     sumif pred a b = 
-      if pred == Eq then 
+      if pred == Equiv then 
         if a == b then a + b else 0
       else 
         if a != b then a + b else 0
@@ -676,10 +676,10 @@ circuit~\cite{reductioncircuit} for floating point numbers.
     versions of the example.
     
     \begin{code}
-    sumif Eq a b    | a == b      = a + b
-                    | otherwise   = 0
-    sumif Neq a b   | a != b      = a + b
-                    | otherwise   = 0
+    sumif Equiv     a b   | a == b      = a + b
+                          | otherwise   = 0
+    sumif NotEquiv  a b   | a != b      = a + b
+                          | otherwise   = 0
     \end{code}
 
     % \begin{figure}