Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Last revision Both sides next revision | ||
navigation [2020-10-16 11:14] mh |
navigation [2020-10-16 11:14] mh |
||
---|---|---|---|
Line 2: | Line 2: | ||
=== Documentation === | === Documentation === | ||
- | * [[http://www.curry-lang.org | Curry Homepage ]] | + | * [[http://www.curry-lang.org | Homepage ]] |
* [[documentation:report | Curry Report]] | * [[documentation:report | Curry Report]] | ||
* [[documentation:tutorial | Tutorial ]] | * [[documentation:tutorial | Tutorial ]] |