From: Michael Hanus <>
Date: Mon, 01 Sep 2008 17:48:13 +0200

Dear Colleagues,

I'd like to let you know that I have registered the new domain to have a simply named home
( for Curry-related stuff.
Currently, it just points to the old Curry homepage.

There is also a wiki for Curry (thanks to Jan Christiansen),
available at,
to collect resources about Curry.
Currently, you need a login to edit the wiki.
If you are interested to contribute to it, please let me
know in order to give you access to it.

Best regards,

curry mailing list
Received on Mo Sep 01 2008 - 17:55:34 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:10 CEST