Dear Colleagues,
It is my pleasure to announce the availability of release 0.9 of the
Münster Curry compiler.
The Münster Curry compiler is a native code compiler for Curry.
It conforms to release 0.7.2 of the Curry report except for
committed choice. Supported extensions include disequality
constraints, existentially quantified data types, and (rigid)
case expressions with a top-down matching of cases. A novel
feature of the Münster Curry compiler is the integration of a
declarative debugger of wrong answers. An interactive Curry
environment and a make-like build tool are included in the
distribution.
Source and binary distributions as well as further information
can be found at
http://danae.uni-muenster.de/~lux/curry
Wolfgang
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Nov 04 2002 - 18:13:20 CET