Intended meaning

From: Sergio Antoy <antoy_at_redstar.cs.pdx.edu>
Date: Wed, 24 Oct 2007 20:46:39 -0700 (PDT)

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 Thu Oct 25 2007 - 08:03:38 CEST

This archive was generated by hypermail 2.3.0 : Thu Sep 19 2019 - 07:15:07 CEST