curry-language.org

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
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
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

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:08 CET