[Agda] Windows/Linux versions of Agda

Martin Escardo m.escardo at cs.bham.ac.uk
Tue Sep 3 21:51:28 CEST 2013

On 03/09/13 20:12, Sam Staton wrote:
> Something I thought of in the past, as a way of getting people quickly
> using Agda on their own non-linux machines:
> We could produce a disk image of a small linux distribution with Agda
> and emacs preinstalled. This could then be easily and quickly run within
> virtualbox (which is free) or alternatively booted from a usb stick or a
> CD.
> I think it is quite easy to make a disk image like this.
> Sam.
> PS. By the way ... iOS? Do people run Agda on iOS?

Oh, Mac OS X. I am just displaying my ignorance regarding Apple stuff.

Glad to hear from Andy Pitts that Agda is Mac friendly.


More information about the Agda mailing list