[Agda] Problem installing Agda OS X Mavericks
Wouter Swierstra
w.s.swierstra at uu.nl
Wed Jan 15 20:43:27 CET 2014
Thanks for your reply!
> It seems that you're missing ncurses library on your system so terminfo
> craps out. I don't think this is an Agda issue.
>
Yes -- I realise it'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.
Wouter
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140115/02360fbd/attachment.html
More information about the Agda
mailing list