Münster Curry compiler release 0.9

From: Wolfgang Lux <wlux_at_uni-muenster.de>
Date: Mon, 04 Nov 2002 15:17:02 +0100

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 Mon Nov 04 2002 - 18:13:20 CET

This archive was generated by hypermail 2.3.0 : Wed Sep 18 2019 - 07:15:05 CEST