<div dir="ltr">Hi,<div><br></div><div style>Thanks for the correction - slapping my forehead here, I'm not sure how I let that slip..</div><div style><br></div><div style>One thing I would like to know is if there's a way in Mercury of making the doMove method more deterministic. In VP it had to be nondet because the indexer couldn't allow for the "not" predicates at the start of each line but I wonder if there's a better way of doing it in Mercury..</div>
<div style><br></div><div style>I'm really glad to hear it's going on well, I think Mercury has huge potential, although a canned binary distribution for Windows _would_ be nice :) </div><div style><br></div><div style>
Mark</div><div style><br></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On 6 May 2013 06:27, Paul Bone <span dir="ltr"><<a href="mailto:paul@bone.id.au" target="_blank">paul@bone.id.au</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im">On Mon, May 06, 2013 at 02:42:20PM +1000, Julien Fischer wrote:<br>
> Hi,<br>
><br>
> On Sun, 5 May 2013, Mark Green wrote:<br>
><br>
>> Hi, Nice to see that the mailing lists are still going, will Mercury<br>
>> still be OK after the move away from Melbourne?<br>
><br>
> It has been thus far, hopefully it remains so.<br>
<br>
</div>For extra reassurance, it may help to know that several of our employers<br>
rely on Mercury commercialy.  If it were unsupported we'd be in trouble.<br>
<br>
Reflecting on the transition itself I think we've done very well, and<br>
further improvments are yet to come, such as the new website design.<br>
<span class="HOEnZb"><font color="#888888"><br>
<br>
--<br>
Paul Bone<br>
<a href="http://www.bone.id.au" target="_blank">http://www.bone.id.au</a><br>
</font></span></blockquote></div><br></div>