[Agda] Windows/Linux versions of Agda
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
> I think it is quite easy to make a disk image like this.
> 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