Commit 7aad1825 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Typo in defining rules of (=:=) corrected

parent cd990dd8
......@@ -665,8 +665,8 @@ i.e., reductions to \code{True}, one can also use the predefined
operation \ccode{=:=}. Conceptually, it can be considered
as defined by the ``positive'' \ccode{==}-rules:
\begin{curry}
C =:= C = True $\hspace{20ex}$-- for all 0-ary constructors C
C $x_1\ldots{}x_n$ $\,$=:= C $y_1\ldots{}y_n$ = $x_1$==$y_1$ &$\ldots$& $x_n$==$y_n$ $~~$-- for all $n$-ary constructors C$\listline$
C =:= C = True $\hspace{22.5ex}$-- for all 0-ary constructors C
C $x_1\ldots{}x_n$ $\,$=:= C $y_1\ldots{}y_n$ = $x_1$=:=$y_1$ &$\ldots$& $x_n$=:=$y_n$ $~~$-- for all $n$-ary constructors C$\listline$
True & True = True
\end{curry}
With these rules, \ccode{[John]=:=x} has a unique result,
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment