<div dir="ltr">Hi, Nils.<br><div class="gmail_extra"><br><br><div class="gmail_quote">On Wed, Sep 4, 2013 at 8:40 AM, Dan Licata <span dir="ltr"><<a href="mailto:drl@cs.cmu.edu" target="_blank">drl@cs.cmu.edu</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Aaron,<br>
<br>
For what it's worth, I was teaching Agda at a summer school, and managed<br>
to help (grad) students get it working on multiple OS'es. For the most<br>
part getting the Haskell platform, and then doing a cabal install,<br>
worked ok, though there was a strange issue with windows that I found a<br>
workaround for on the bug tracker. See the installation notes here for<br>
notes on this: <a href="http://www.cs.cmu.edu/~drl/teaching/oplss13/" target="_blank">http://www.cs.cmu.edu/~drl/teaching/oplss13/</a></blockquote><div><br></div><div>Yes, I would expect grad students to be able to handle this. It's the average undergrad -- and we are not MIT or CMU here -- that I am worried about.</div>
<div><br></div><div>Thanks,</div><div>Aaron</div><div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
(I plan to make my lecture notes available soon, once I have had a<br>
chance to polish them up. If anyone wants an advance copy, you can<br>
email me for the password.)<br>
<span class="HOEnZb"><font color="#888888"><br>
-Dan<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
On Sep04, Aaron Stump wrote:<br>
> Hi, Nils. Thanks for this reply.<br>
><br>
><br>
> On Wed, Sep 4, 2013 at 4:26 AM, Nils Anders Danielsson <<a href="mailto:nad@cse.gu.se">nad@cse.gu.se</a>>wrote:<br>
><br>
> > On 2013-09-02 21:36, Aaron Stump wrote:<br>
> ><br>
> >> 1. It would be very nice if the Windows installer was kept up to date<br>
> >> with the Linux distribution.<br>
> >><br>
> ><br>
> > I agree. I think that Makoto, who has been maintaining the Windows<br>
> > installer for the last five years or so, would be happy if someone else<br>
> > could take over.<br>
> ><br>
> > While we're discussing the Windows installer: I would like to know if<br>
> > you like it as it is (modulo the font issue), or if you would prefer a<br>
> > variant that didn't include the Haskell Platform and Emacs.<br>
><br>
><br>
> For undergrads here, it would absolutely be best to have a single installer<br>
> that pulls down everything needed for running Agda: Haskell Platform,<br>
> Emacs, Agda, and DejaVu fonts (if possible). This means that one can<br>
> install Agda with a single download, without a lot of other software<br>
> already required to be installed. It will greatly increase the chances<br>
> that the average student here (and I don't think this is an atypical<br>
> situation for US undergrads) will be able to get Agda up and running<br>
> without a lot of hand holding from us.<br>
><br>
> Thanks a lot,<br>
> Aaron<br>
><br>
><br>
> ><br>
> ><br>
> ><br>
<br>
</div></div><div class="HOEnZb"><div class="h5">> _______________________________________________<br>
> Agda mailing list<br>
> <a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
> <a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
<br>
</div></div></blockquote></div><br></div></div>