Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revision | |||
tools:currydoc [2014-06-13 12:35] – external edit 127.0.0.1 | tools:currydoc [2020-12-22 23:18] (current) – mh | ||
---|---|---|---|
Line 58: | Line 58: | ||
In addition to Markdown or HTML markups, | In addition to Markdown or HTML markups, | ||
one can also mark **references to names** of operations or data types | one can also mark **references to names** of operations or data types | ||
- | in Curry programs | + | in Curry programs. These are translated into links inside |
- | the generated HTML documentation. Such references have to be | + | the generated HTML documentation |
- | enclosed in single quotes. | + | in other module documentations if they are qualified with a module name. |
+ | Such references have to be enclosed in single quotes. | ||
The following example shows a Curry program with some | The following example shows a Curry program with some | ||
Line 75: | Line 76: | ||
| | ||
--- The function `conc` concatenates two lists. | --- The function `conc` concatenates two lists. | ||
+ | --- It is also predefined as ' | ||
--- @param xs - the first list | --- @param xs - the first list | ||
--- @param ys - the second list | --- @param ys - the second list |