[Agda] Windows/Linux versions of Agda

[Dan Licata]

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