Curry Report Vers. 0.8

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Wed, 16 Apr 2003 14:10:01 +0200

Dear Colleagues,

I'd like to inform you that I have updated the Curry report
according to our last discussions. In particular,

- rules with multiple guards of type Success are no longer allowed,
- the semantics of matching of local pattern declarations is lazy,
- case expressions are added (with an informal description only, sorry).

You'll find a short description of all changes and the
new version via the Curry homepage

  http://www.informatik.uni-kiel.de/~curry

or the report directly at

  http://www.informatik.uni-kiel.de/~curry/papers/report.pdf

Best regards,

Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry


_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Apr 16 2003 - 14:36:55 CEST