Re: New PAKCS release (Version 1.8.0)

From: Bernd Brassel <>
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.


curry mailing list
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