<div dir="ltr"><div>Cool! (and sorry for misaddressing my reply -- I got faked out by having multiple emails from you in my inbox. :-)<br></div><div>Aaron</div></div><div class="gmail_extra"><br><br><div class="gmail_quote">
On Wed, Sep 4, 2013 at 8:49 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">
I would love to have a windows installer too! I was just mentioning<br>
what happened in case it's helpful to you in the meantime.<br>
<div class="HOEnZb"><div class="h5"><br>
-Dan<br>
<br>
<br>
On Sep04, Aaron Stump wrote:<br>
> Hi, Nils.<br>
><br>
><br>
> On Wed, Sep 4, 2013 at 8:40 AM, Dan Licata <<a href="mailto:drl@cs.cmu.edu">drl@cs.cmu.edu</a>> wrote:<br>
><br>
> > 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><br>
><br>
><br>
> Yes, I would expect grad students to be able to handle this. It's the<br>
> average undergrad -- and we are not MIT or CMU here -- that I am worried<br>
> about.<br>
><br>
> Thanks,<br>
> Aaron<br>
><br>
><br>
> ><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>
> ><br>
> > -Dan<br>
> ><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><br>
> > >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<br>
> > 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>
> > > _______________________________________________<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>
> ><br>
<br>
> _______________________________________________<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>