[m-rev.] diff: add n_solutions.m to samples

Ralph Becket rafe at cs.mu.OZ.AU
Mon Jul 26 11:23:42 AEST 2004


Fergus Henderson, Monday, 26 July 2004:
> Estimated hours taken: 0.5
> Branches: main
> 
> samples/solutions/n_solutions.m:
> 	New file, showing how to compute the first N solutions of a
> 	nondeterministic predicate.

Looks fine (and informative: I didn't know the compiler understood
uniqueness enough to handle construction.)

-- Ralph
--------------------------------------------------------------------------
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