Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
tools:currydoc [2014-06-13 12:35] 127.0.0.1 external edit |
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 which are translated into links inside | + | in Curry programs. These are translated into links inside |
| - | the generated HTML documentation. Such references have to be | + | the generated HTML documentation (if they are unqualified) or into links |
| - | 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 'Prelude.++'. | ||
| --- @param xs - the first list | --- @param xs - the first list | ||
| --- @param ys - the second list | --- @param ys - the second list | ||
