<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><div><br></div><div>Thanks for your reply!</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
It seems that you&#39;re missing ncurses library on your system so terminfo<br>

craps out. I don&#39;t think this is an Agda issue.<br></blockquote><div><br></div><div>Yes -- I realise it&#39;s probably not an Agda specific problem, but I thought it might be worth asking here before spending too much time diagnosing the problem myself. Chances are, someone else may have resolved this already. </div>
<div>
<br></div><div>  Wouter</div></div></div></div>