[m-users.] Mercury operators explained

[Paul Bone]

On Tue, Feb 18, 2014 at 10:49:23PM +0000, Piotr Trojanek wrote:
> Thank you both for a detailed and prompt reply!
> 
> I am making my first steps with Mercury and perhaps I need a less
> trial-and-error approach. However, I still can not find an explanation
> of the "=\\=" operator. Is there any other reference/book/guide that I
> should consult?
> 

I didn't know we had such an operator, I guess I never needed it :-).  I'm
affraid I don't know where or if it is documented.


-- 
Paul Bone