Uploaded at Jan 8 12:52:59 2021
Succesfully tested at Jan 24 06:57:21 2021

Curry Package currydoc

currydoc: A Documentation Generator for Curry Programs

This package contains a tool to generate the documentation for a Curry program (i.e., the main module and all its imported modules) in HTML (or 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.

The usage of this tool is described in the manual which is part of the manual of the Curry systems PAKCS and KiCS2.


Download

Checkout with CPM:
cypm checkout currydoc 3.1.0
Package source:
currydoc-3.1.0.tar.gz [browse]
Source repository:
https://git.ps.informatik.uni-kiel.de/curry-packages/currydoc.git