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
http://www.informatik.uni-kiel.de/~curry
or the report directly at
http://www.informatik.uni-kiel.de/~curry/papers/report.pdf
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,
Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Di Mär 14 2006 - 13:45:49 CET