<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 23 January 2015 at 08:30, Philipp Hausmann <span dir="ltr"><<a href="mailto:p.hausmann@students.uu.nl" target="_blank">p.hausmann@students.uu.nl</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div>Is reported:<br>
<a href="https://code.google.com/p/agda/issues/detail?id=1412" target="_blank">https://code.google.com/p/agda/issues/detail?id=1412</a></div></blockquote></div><br><div class="gmail_default" style="font-family:arial,helvetica,sans-serif;font-size:small">I could reproduce both problems. Thanks!</div><br><br>-- <br><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr">Andrés</div></div></div></div>
</div></div>