[Agda] Windows/Linux versions of Agda

[Dan Licata]

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/

(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