<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 7 July 2014 02:39, Sergei Meshveliani <span dir="ltr"><<a href="mailto:mechvel@botik.ru" target="_blank">mechvel@botik.ru</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div id=":1oh" class="" style="overflow:hidden">And for Alex, the report is on something very different, so that it is<br>
difficult to guess.</div></blockquote></div><br></div><div class="gmail_extra">See <a href="https://code.google.com/p/agda/issues/detail?id=1225#c3">https://code.google.com/p/agda/issues/detail?id=1225#c3</a> .<br></div>
<div class="gmail_extra"><br>-- <br><div dir="ltr">Andrés<br></div>
</div></div>