<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 15 November 2014 20:07, Andrés Sicard-Ramírez <span dir="ltr"><<a href="mailto:asr@eafit.edu.co" target="_blank">asr@eafit.edu.co</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span lang="en"><span>I didn't look</span> <span>in detail</span> your <span>example but</span></span> in <a href="https://code.google.com/p/agda/issues/detail?id=1355" target="_blank">https://code.google.com/p/agda/issues/detail?id=1355</a> (comment #2) there is an example of solution for this kind of error (you need the development version of Agda for type-checking the modules used in this issue).<div class="yj6qo ajU"><div id=":16c" class="ajR" tabindex="0"></div></div></blockquote></div><br></div><div class="gmail_extra">Oops, you don't need the development version of Agda. You can use Agda 2.4.2.1.<br></div><div class="gmail_extra"><br>-- <br><div class="gmail_signature"><div dir="ltr">Andrés<br></div></div>
</div></div>