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