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