[Agda] Windows/Linux versions of Agda

[Aaron Stump]

Hi, Nils.


On Wed, Sep 4, 2013 at 8:40 AM, Dan Licata <drl at cs.cmu.edu> wrote:

> Hi Aaron,
>
> For what it's worth, I was teaching Agda at a summer school, and managed
> to help (grad) students get it working on multiple OS'es.  For the most
> part getting the Haskell platform, and then doing a cabal install,
> worked ok, though there was a strange issue with windows that I found a
> workaround for on the bug tracker.  See the installation notes here for
> notes on this: http://www.cs.cmu.edu/~drl/teaching/oplss13/


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.

Thanks,
Aaron


>
>
> (I plan to make my lecture notes available soon, once I have had a
> chance to polish them up.  If anyone wants an advance copy, you can
> email me for the password.)
>
> -Dan
>
> On Sep04, Aaron Stump wrote:
> > Hi, Nils.  Thanks for this reply.
> >
> >
> > On Wed, Sep 4, 2013 at 4:26 AM, Nils Anders Danielsson <nad at cse.gu.se
> >wrote:
> >
> > > On 2013-09-02 21:36, Aaron Stump wrote:
> > >
> > >> 1. It would be very nice if the Windows installer was kept up to date
> > >>    with the Linux distribution.
> > >>
> > >
> > > I agree. I think that Makoto, who has been maintaining the Windows
> > > installer for the last five years or so, would be happy if someone else
> > > could take over.
> > >
> > > While we're discussing the Windows installer: I would like to know if
> > > you like it as it is (modulo the font issue), or if you would prefer a
> > > variant that didn't include the Haskell Platform and Emacs.
> >
> >
> > For undergrads here, it would absolutely be best to have a single
> installer
> > that pulls down everything needed for running Agda: Haskell Platform,
> > Emacs, Agda, and DejaVu fonts (if possible).  This means that one can
> > install Agda with a single download, without a lot of other software
> > already required to be installed.  It will greatly increase the chances
> > that the average student here (and I don't think this is an atypical
> > situation for US undergrads) will be able to get Agda up and running
> > without a lot of hand holding from us.
> >
> > Thanks a lot,
> > Aaron
> >
> >
> > >
> > >
> > >
>
> > _______________________________________________
> > Agda mailing list
> > Agda at lists.chalmers.se
> > https://lists.chalmers.se/mailman/listinfo/agda
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130904/8eb9442d/attachment.html