Commit 50ad2501 authored by Michael Hanus's avatar Michael Hanus
Browse files

Stand-alone doc added

parent c4bf7546
......@@ -3,3 +3,5 @@ This directory contains some documention for the CurryCheck tool:
A short description to be included in the main manual of the Curry system.
The manual as a stand-alone LaTeX file.
% font for program texts
showstringspaces=false, % no special string space
\lstnewenvironment{currynomath}{\lstset{mathescape=false}}{} % Curry w/o math
\newcommand{\listline}{\vrule width0pt depth1.75ex}
% program text in normal text
\newcommand{\code}[1]{\mbox{\codefont #1}}
% program text in normal text with apostrophs
\newcommand{\pindex}[1]{\index{#1@{\tt #1}}} % program elements in index
\newcommand{\CYS}{Curry\xspace} % name of the Curry system described here
\newcommand{\cyshome}{\mbox{\textit{curryhome}}\xspace} % symbolic installation directory
% Bibliography
S.~Antoy and M.~Hanus.
\newblock Declarative programming with function patterns.
\newblock In {\em Proceedings of the International Symposium on Logic-based
Program Synthesis and Transformation (LOPSTR'05)}, pages 6--22. Springer LNCS
3901, 2005.
S.~Antoy and M.~Hanus.
\newblock Set functions for functional logic programming.
\newblock In {\em Proceedings of the 11th ACM SIGPLAN International Conference
on Principles and Practice of Declarative Programming (PPDP'09)}, pages
73--82. ACM Press, 2009.
S.~Antoy and M.~Hanus.
\newblock Contracts and specifications for functional logic programming.
\newblock In {\em Proc. of the 14th International Symposium on Practical
Aspects of Declarative Languages (PADL 2012)}, pages 33--47. Springer LNCS
7149, 2012.
J.~Christiansen and S.~Fischer.
\newblock {EasyCheck} - test data for free.
\newblock In {\em Proc. of the 9th International Symposium on Functional and
Logic Programming (FLOPS 2008)}, pages 322--336. Springer LNCS 4989, 2008.
K.~Claessen and J.~Hughes.
\newblock Quickcheck: A lightweight tool for random testing of haskell
\newblock In {\em International Conference on Functional Programming
(ICFP'00)}, pages 268--279. ACM Press, 2000.
......@@ -27,6 +27,10 @@
"modules": [ "ListProp", "SortSpec" ]
"documentation": {
"src-dir": "docs",
"main": "main.tex"
"source": {
"git": "",
"tag": "$version"
Supports Markdown
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