projects
/
matthijs
/
master-project
/
dsd-paper.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update code examples in choice section to use Equiv instead of Eq so not to confuse...
[matthijs/master-project/dsd-paper.git]
/
cλash.lhs
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 =
\begin{code}
sumif pred a b =
- if pred == Eq then
+ if pred == Eq
uiv
then
if a == b then a + b else 0
else
if a != b then a + b else 0
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}
versions of the example.
\begin{code}
- sumif Eq
a b
| a == b = a + b
- | otherwise = 0
- sumif N
eq
a b | a != b = a + b
- | otherwise = 0
+ sumif Eq
uiv a b
| a == b = a + b
+
| otherwise = 0
+ sumif N
otEquiv
a b | a != b = a + b
+
| otherwise = 0
\end{code}
% \begin{figure}
\end{code}
% \begin{figure}