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 Mo Mai 05 2003 - 11:57:02 CEST