[Agda] Windows/Linux versions of Agda

[Aaron Stump]

Cool! (and sorry for misaddressing my reply -- I got faked out by having
multiple emails from you in my inbox. :-)
Aaron


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

> I would love to have a windows installer too!  I was just mentioning
> what happened in case it's helpful to you in the meantime.
>
> -Dan
>
>
> On Sep04, Aaron Stump wrote:
> > 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
> > >
> > >
>
> > _______________________________________________
> > 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/13412252/attachment-0001.html