Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
documentation:tutorial [2014-07-28 11:35] mh |
documentation:tutorial [2014-08-06 14:24] mh |
||
|---|---|---|---|
| Line 6: | Line 6: | ||
| {{documentation:tutorial.pdf | PDF}} | {{documentation:tutorial.pdf | PDF}} | ||
| + | [[ http://www.informatik.uni-kiel.de/~curry/tutorial/PROGRAMS.zip | all example programs as a zip file ]] | ||
| **Contact:** | **Contact:** | ||
| [[ http://www.cs.pdx.edu/~antoy/ | Sergio Antoy ]] | [[ http://www.cs.pdx.edu/~antoy/ | Sergio Antoy ]] | ||
| [[ http://www.informatik.uni-kiel.de/~mh/ | Michael Hanus ]] | [[ http://www.informatik.uni-kiel.de/~mh/ | Michael Hanus ]] | ||
