Re: Confused Students

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Wed, 20 Jun 2007 09:24:43 +0200

kahl_at_cas.mcmaster.ca wrote:
> The other question is of course the precise meaning of ``=''...
>
>
> The thing that does definitely not hold in Curry is substitution of equals:
>
> u = x?y does not imply t[v \ u] = t[v \ (x?y)].

Here is again the precise meaning of "=" important.
If "u = x?y" is a definition of an operation "u",
then the implication holds, otherwise the substitution rule
holds only for values or expressions having the same values.

Best regards,

Michael
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Jun 20 2007 - 10:22:55 CEST

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