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

Source and binary distributions as well as further information
can be found at



curry mailing list
Received on Mo Nov 04 2002 - 18:13:20 CET

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