<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On 3 September 2013 19:54, Martin Escardo <span dir="ltr"><<a href="mailto:m.escardo@cs.bham.ac.uk" target="_blank">m.escardo@cs.bham.ac.uk</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">I am also entertaining the idea of using Agda in the second part of an undergrad functional programming course (in which traditionally we have done Haskell only). Our teaching labs have linux, but the students have Windows, iOS, and very few linux in their own machines. It would be great if installation was as easy for the other operating systems as it is for linux. I haven't tried anything different from linux myself regarding Agda, and I am not really tempted to, but I would like to be confident that my students won't give up. These are second-year students, who managed to install the Haskell platform in their own machines in the previous years. Will they manage to install (the latest version of) Agda? Thanks, Martin<br>
</blockquote><div><br></div><div style>Well I am pretty dumb when it comes to these things, but I have never had any trouble installing Agda on various versions of Mac OS X, by following the instructions "<span style="color:rgb(0,0,0);font-family:sans-serif;line-height:17px">The following should work for a fresh install" at <</span><font color="#000000" face="sans-serif"><span style="line-height:17px"><a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX</a></span></font><span style="color:rgb(0,0,0);font-family:sans-serif;line-height:17px">>.</span></div>
<div style><span style="color:rgb(0,0,0);font-family:sans-serif;line-height:17px"><br></span></div><div style><span style="color:rgb(0,0,0);font-family:sans-serif;line-height:17px">Andy</span></div><div style><span style="color:rgb(0,0,0);font-family:sans-serif;line-height:17px"><br>
</span></div><h2 style="color:rgb(0,0,0);background-image:none;font-weight:normal;margin:0px;padding-top:0.5em;padding-bottom:0.17em;border-bottom-width:1px;border-bottom-style:solid;border-bottom-color:rgb(170,170,170);clear:both;font-size:19px;font-family:sans-serif;line-height:17px">
<br></h2></div></div></div>