Uploaded at Oct 31 12:51:44 2023 (UTC)
Succesfully tested at Feb 22 03:31:08 2024

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.


Checkout with CPM:
cypm checkout currydoc 3.1.0
Package source:
currydoc-3.1.0.tar.gz [browse]
Source repository: