<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">&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">Hi Aaron,<br>
<br>
For what it&#39;s worth, I was teaching Agda at a summer school, and managed<br>
to help (grad) students get it working on multiple OS&#39;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&#39;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>
&gt; Hi, Nils.  Thanks for this reply.<br>
&gt;<br>
&gt;<br>
&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>&gt;wrote:<br>
&gt;<br>
&gt; &gt; On 2013-09-02 21:36, Aaron Stump wrote:<br>
&gt; &gt;<br>
&gt; &gt;&gt; 1. It would be very nice if the Windows installer was kept up to date<br>
&gt; &gt;&gt;    with the Linux distribution.<br>
&gt; &gt;&gt;<br>
&gt; &gt;<br>
&gt; &gt; I agree. I think that Makoto, who has been maintaining the Windows<br>
&gt; &gt; installer for the last five years or so, would be happy if someone else<br>
&gt; &gt; could take over.<br>
&gt; &gt;<br>
&gt; &gt; While we&#39;re discussing the Windows installer: I would like to know if<br>
&gt; &gt; you like it as it is (modulo the font issue), or if you would prefer a<br>
&gt; &gt; variant that didn&#39;t include the Haskell Platform and Emacs.<br>
&gt;<br>
&gt;<br>
&gt; For undergrads here, it would absolutely be best to have a single installer<br>
&gt; that pulls down everything needed for running Agda: Haskell Platform,<br>
&gt; Emacs, Agda, and DejaVu fonts (if possible).  This means that one can<br>
&gt; install Agda with a single download, without a lot of other software<br>
&gt; already required to be installed.  It will greatly increase the chances<br>
&gt; that the average student here (and I don&#39;t think this is an atypical<br>
&gt; situation for US undergrads) will be able to get Agda up and running<br>
&gt; without a lot of hand holding from us.<br>
&gt;<br>
&gt; Thanks a lot,<br>
&gt; Aaron<br>
&gt;<br>
&gt;<br>
&gt; &gt;<br>
&gt; &gt;<br>
&gt; &gt;<br>
<br>
</div></div><div class="HOEnZb"><div class="h5">&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></div>