Curry Report Vers. 0.8.2

From: Michael Hanus <>
Date: Tue, 14 Mar 2006 13:41:45 +0100

Dear Colleagues,

after our recent discussions on Curry, I have included
all results in a new update of the Curry report.

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

or the report directly at

Since there are changes at several places, in particular,
the redefinition of the evaluation annotations (eval flex/rigid
removed, ensureNotFree added etc), I have marked this version
as preliminary so that I can easily include any corrections
that I receive in the next days.

Best regards,


curry mailing list
Received on Di Mär 14 2006 - 13:45:49 CET

This archive was generated by hypermail 2.3.0 : Mo Dez 04 2023 - 07:15:08 CET