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

Manual extended

parent e49d87f7
......@@ -228,8 +228,7 @@ libdoc:
runtest: testsuite/doTest
cd testsuite && ./doTest --nogui
cd currytools/optimize/binding_optimization/Examples && ./test.sh
cd currytools/currypp/SequentialRules/Examples && ./test.sh
cd currytools/currypp/DefaultRules/Examples && ./test.sh
cd currytools/currypp && $(MAKE) runtest
cd examples/CHR && ./test.sh
$(CLEANCURRY):
......
currytools @ b5d035e8
Subproject commit ef3f1a84a7e3c3bd5e0d9850f6b90262b056a9ff
Subproject commit b5d035e80a77f66d32d11307160124590b57e47a
......@@ -5,7 +5,8 @@ PAKCS=../../bin/pakcs
.PHONY: pdf
pdf : manual.pdf
manual.pdf: $(wildcard *.tex lib/*.tex) markdown_syntax.tex
manual.pdf: $(wildcard *.tex lib/*.tex ../../currytools/*/Docs/*.tex) \
markdown_syntax.tex
pdflatex manual
bibtex manual
pdflatex manual
......
......@@ -69,6 +69,31 @@ doi = {http://doi.acm.org/10.1145/1599410.1599420},
pages = {73-82},
publisher = {ACM Press} }
@INPROCEEDINGS{AntoyHanus14,
author = {Antoy, S. and Hanus, M.},
title = {Curry without {Success}},
year = {2014},
booktitle = {Proc.\ of the 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014)},
doi = {http://ceur-ws.org/Vol-1335/wflp2014_paper5.pdf},
pages = {140-154},
publisher = {CEUR-WS.org},
series = {{CEUR} Workshop Proceedings},
volume = {1335} }
@INPROCEEDINGS{AntoyHanus15LOPSTR,
author = {Antoy, S. and Hanus, M.},
title = {From Boolean Equalities to Constraints},
year = {2015},
booktitle = {Proceedings of the 25th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2015)},
publisher = {Springer LNCS (to appear)} }
@INPROCEEDINGS{AntoyHanus16PADL,
author = {Antoy, S. and Hanus, M.},
title = {Default Rules for {Curry}},
year = {2016},
booktitle = {Proc. of the 18th International Symposium on Practical Aspects of Declarative Languages (PADL 2016)},
publisher = {Springer LNCS (to appear)} }
@INPROCEEDINGS{BrasselChitilHanusHuch04PADL,
author = {Bra{\ss}el, B. and Chitil, O. and Hanus, M. and Huch, F.},
title = {Observing Functional Logic Computations},
......
......@@ -127,18 +127,23 @@ Frank Steiner$^{10}$ \\[4ex]
\pdfbookmark[1]{Contents}{Contents}
\tableofcontents
\clearpage
\include{preface}
\include{overview}
\include{usage}
\include{extensions}
\include{syntax}
\clearpage
\input{\curryhome/currytools/optimize/Docs/manual}
\clearpage
\input{\curryhome/currytools/currydoc/Docs/manual}
\clearpage
\input{\curryhome/currytools/browser/Docs/manual}
\clearpage
\input{\curryhome/currytools/currytest/Docs/manual}
\clearpage
\input{\curryhome/currytools/currypp/Docs/manual}
\clearpage
\input{\curryhome/currytools/erd2curry/Docs/manual}
\clearpage
\input{\curryhome/currytools/spicey/Docs/manual}
......
......@@ -6,7 +6,7 @@ Curry programs and translate them into the intermediate FlatCurry
representation, one can apply transformations on the FlatCurry files
before they are passed to the back end which translates
the FlatCurry files into Prolog code.
These transformation are invoked by the FlatCurry preprocessor
These transformations are invoked by the FlatCurry preprocessor
\code{pakcs/bin/fycpp}.\pindex{fcypp}
Currently, only the FlatCurry file corresponding to the main module
can be transformed.
......
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