Update code examples in choice section to use Equiv instead of Eq so not to confuse...
authorChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Mon, 1 Mar 2010 16:01:58 +0000 (17:01 +0100)
committerChristiaan Baaij <baaijcpr@wlan228123.mobiel.utwente.nl>
Mon, 1 Mar 2010 16:01:58 +0000 (17:01 +0100)
cλash.lhs

index c690e8e..998e6a6 100644 (file)
@@ -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}