Re: New PAKCS release (Version 1.8.0)

From: Bernd Brassel <bbr_at_informatik.uni-kiel.de>
Date: Thu, 29 Mar 2007 17:14:22 +0200

Wolfgang Lux wrote:
> Do you consider removing the sentence
> For convenience, a defining equation f = g between functions
> is allowed but will be interpreted in Curry as syntactic sugar
> for the corresponding defining equation f x = g x on base types.
> on the bottom of p.6 from the report, which IMO suggests
> eta-expansion?

Is this the only suggestion of eta-expansion? I would also like to see
such references removed.

Cheers
Bernd

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Fr Mär 30 2007 - 07:51:21 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:15:08 CEST