[mercury-users] Modes for partly uninstantiated list

[doug.auclair at logicaltypes.com]

Dear Ralph, you wrote:

>Okay, when I get a spare couple of hours I'll try to write a simple
>sudoku solver using solver types.

Sir, that is MOST generous! But, if the TicTacToe solver comes
more quickly, then  that would also help me (and the original 
poster) grasp the idiom of problem solving with solver types.*

Sincerely,
Doug Auclair

* Fans of Sudoku (of which there are many) I suppose would
prefer to wait for your Sudoku solver.

--------------------------------------------------------------------------
mercury-users mailing list
Post messages to:       mercury-users at csse.unimelb.edu.au
Administrative Queries: owner-mercury-users at csse.unimelb.edu.au
Subscriptions:          mercury-users-request at csse.unimelb.edu.au
--------------------------------------------------------------------------