Announcement: Münster Curry compiler 0.9.5 released

From: Wolfgang Lux <wlux_at_uni-muenster.de>
Date: Mon, 05 May 2003 09:44:23 +0200

Dear Colleagues,

I have released a new version of the Münster Curry compiler. Besides
being
compatible with version 0.8 of the Curry report this release includes a
few
other noteworthy changes:
- Characters are no longer displayed as integer numbers
- Occurs check is now always performed in equality and disequality
constraints
- All restrictions on functions returned from an encapsulated search
have
   been removed
- New commands :freshen and :clean in the interactive environment

More information together with the sources and precompiled binary
distributions for Solaris, Linux (x86), and Mac OS X can be found at
http://danae.uni-muenster.de/~lux/curry.

Regards
Wolfgang



_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mon May 05 2003 - 11:57:02 CEST

This archive was generated by hypermail 2.3.0 : Mon Sep 16 2019 - 07:15:04 CEST