[mercury-users] partial instantiation?
Ralph Becket
rafe at csse.unimelb.edu.au
Tue Apr 20 10:22:56 AEST 2010
Mark Brown, Tuesday, 20 April 2010:
>
> I think Ralph meant
>
> :- mode cmd(in, in, out) is semidet.
Yes: sorry, I was rushing out the door as I wrote that e-mail.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
More information about the users
mailing list