Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
start [2020-10-16 11:20] mh |
start [2020-10-16 11:22] (current) mh |
||
---|---|---|---|
Line 36: | Line 36: | ||
This is the main page of the Curry Wiki with collected information about Curry. | This is the main page of the Curry Wiki with collected information about Curry. | ||
- | If you want to contribute something, please write to "www_AT_curry-lang.org". | + | If you want to contribute something, please write to ''www_AT_curry-lang.org''. |
There is also the [[http://curry-lang.org | homepage of Curry ]] | There is also the [[http://curry-lang.org | homepage of Curry ]] | ||
intended as a general entry point. | intended as a general entry point. |