[m-rev.] for review: promise_equivalent_solution_sets
Zoltan Somogyi
zs at cs.mu.OZ.AU
Tue Mar 21 17:54:52 AEDT 2006
On 21-Mar-2006, Julien Fischer <juliensf at cs.mu.OZ.AU> wrote:
> I think this is little too much detail.
You can propose an alternative, of course.
> plus I would prefer it if there
> was a well-documented working example.
The intention is to use this facility in some of the library modules
(e.g. set.m) after it bootstraps.
Zoltan.
--------------------------------------------------------------------------
mercury-reviews mailing list
post: mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------
More information about the reviews
mailing list