[Agda] OS X Installation Instructions Updated
Shin-Cheng Mu
scm at iis.sinica.edu.tw
Thu Apr 16 10:13:23 CEST 2009
Hi,
Due to some changes in my job, I was able to lay my
hands on a MacBook on which I can install everything from
scratch. So I tried to install Agda and updated
the wiki page accordingly:
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX
Thanks to the efforts of Nisse and other people, the
installation is much easier than when I wrote the previous
version last year.
Please revise the page if you spot some mistakes,
and let me know if it does not work for you. :)
sincerely,
Shin-Cheng Mu
More information about the Agda
mailing list