[Agda] Windows/Linux versions of Agda

[Martin Escardo]

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.

Martin