[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