<div dir="ltr"><div class="gmail_extra">Hi Andreas,<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 14 February 2014 09:08, Andreas Abel <span dir="ltr"><<a href="mailto:abela@chalmers.se" target="_blank">abela@chalmers.se</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":185" style="overflow:hidden">
<br>
the missing definitions ("Check" etc.) are in<br>
<br>
test/succeed/Reflection.agda<br>
<br></div></blockquote><div><br></div><div>Thanks!<br></div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div id=":185" style="overflow:hidden">
I tried to edit the Wiki pages just now, but somehow the second half of the wiki article "How to use it?" is not displayed in my edit window and I do not know how to reach it. Drives me quite nuts...<br>
<br></div></blockquote><div><br></div><div>I haven't problems editing that page. I will fix the Wiki article later. <br></div><div><br></div><div>Best,<br></div><br clear="all"></div><br>-- <br>Andrés<br>
</div></div>