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