Dear Colleagues,
I'd like to let you know that I have registered the new domain
curry-language.org to have a simply named home
(
http://curry-language.org) 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
http://wiki.curry-language.org/,
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,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Sep 01 2008 - 17:55:34 CEST