Given the following program:
test = 1+x ? zero x where x free
zero 0 = 0
what should the evaluation of test produce?
Thanks,
Sergio
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Okt 25 2007 - 08:03:38 CEST