Commit fa792137 authored by Michael Hanus 's avatar Michael Hanus
Browse files

Minor corrections

parent 64b5dac6
# ignore tex temporary files
*.pdf
*.aux
*.log
*.out
*.nav
*.snm
*.toc
*.tpt
*.vrb
*.blg
*.idx
*.ilg
*.ind
*.tpt
*.synctex.gz
*.backup
*~
......@@ -32,5 +32,5 @@ www: report.pdf
clean:
/bin/mv report.tex report.texx
/bin/rm -f report.?? report.???
/bin/rm -f report.?? report.??? *.aux
/bin/mv report.texx report.tex
......@@ -114,7 +114,7 @@ True \&\& x = x
False \&\& _ = False
~
-- Sequential disjunction
(||) :: Bool -> Bool -> Bool \pindex{"|"|}
(||) :: Bool -> Bool -> Bool \pindex{\char124\char124}
True || _ = True
False || x = x
~
......
......@@ -7,7 +7,7 @@
{\Huge\bf Curry}\\[4ex]
{\LARGE\bf An Integrated Functional Logic Language}\\[5ex]
{\large\bf Version 0.8.3}\\[1ex]
{\large September 11, 2012}\\[8ex]
{\large February 27, 2014}\\[8ex]
\Large
Michael Hanus$^1$ [editor] \\[3ex]
{\large Additional Contributors:}\\[2ex]
......
......@@ -24,7 +24,7 @@ True \&\& x = x
False \&\& x = False
\stopprog
Similarly, the (sequential) disjunction\index{disjunction}
\code{||}\pindex{"|"|} and the negation\index{negation} \code{not}\pindex{not}
\code{||}\pindex{\char124\char124} and the negation\index{negation} \code{not}\pindex{not}
are defined as usual (see Appendix~\ref{app-prelude}).
Furthermore, the function \code{otherwise}\pindex{otherwise}
is predefined as \code{True}
......
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