Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | Next revisionBoth sides next revision | ||
| tools:currydoc [2008-03-14 11:52] – Document moved from implementations:01_implementations jac | tools:currydoc [2008-05-14 14:02] – mh | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| **CurryDoc : A Documentation Tool for Declarative Programs** | **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/ | Proc. of the 11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002), Research Report UDMI/ | ||
