[Agda] Windows/Linux versions of Agda

[Andrew Pitts]

On 3 September 2013 19:54, Martin Escardo <m.escardo at cs.bham.ac.uk> wrote:

> I am also entertaining the idea of using Agda in the second part of an
> undergrad functional programming course (in which traditionally we have
> done Haskell only). Our teaching labs have linux, but the students have
> Windows, iOS, and very few linux in their own machines. It would be great
> if installation was as easy for the other operating systems as it is for
> linux. I haven't tried anything different from linux myself regarding Agda,
> and I am not really tempted to, but I would like to be confident that my
> students won't give up. These are second-year students, who managed to
> install the Haskell platform in their own machines in the previous years.
> Will they manage to install (the latest version of) Agda? Thanks, Martin
>

Well I am pretty dumb when it comes to these things, but I have never had
any trouble installing Agda on various versions of Mac OS X, by following
the instructions "The following should work for a fresh install" at <
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.MacOSX>.

Andy
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130903/73ac79f5/attachment.html