Differences

This shows you the differences between two versions of the page.

--- implementations:01_implementations [2008-03-14 11:50] – Document moved from tools:currydoc jac
+++ tools:currydoc [2013-02-26 09:40] – mh
@@ Line 1: / Line 1: @@
 ====== CurryDoc ======
+CurryDoc is a tool in the
+[[http://www.informatik.uni-kiel.de/~pakcs/ | PAKCS]] and
+[[http://www-ps.informatik.uni-kiel.de/kics2 | KiCS2]] distributions
+that generates the documentation for a Curry program (i.e., the main module
+and all its imported modules) in HTML (and optionally also LaTeX) format.
+The generated HTML pages contain information about
+all data types and functions exported by a module as well
+as links between the different entities.
+Furthermore, some information about the definitional status
+of functions (like rigid, flexible, external, complete, or
+overlapping definitions) are provided and combined with
+documentation comments provided by the programmer.
+==== Further Information ====
+More details on CurryDoc described in the user manuals of
+[[http://www.informatik.uni-kiel.de/~pakcs/ | PAKCS]] and
+[[http://www-ps.informatik.uni-kiel.de/kics2 | KiCS2]].
+There is also a //paper describing the basic ideas of CurryDoc//:
 **CurryDoc : A Documentation Tool for Declarative Programs**
-[[mh@informatik.uni-kiel.de | Michael Hanus]]
+[[http://www.informatik.uni-kiel.de/~mh | Michael Hanus]]
 Proc. of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Research Report UDMI/18/2002/RR, Università degli Studi di Udine, pp. 225-228, 2002

/srv/dokuwiki/currywiki/data/pages/tools/currydoc.txt · Last modified: 2020-12-22 23:18 by mh

Back to top