[Agda] 64-bit agda

James Chapman james at cs.ioc.ee
Fri Mar 26 16:28:07 CET 2010


Hi,

Is it possible to compile Agda as a 64-bit binary using ghc 6.12 on OS
X Leopard/Snow Leopard or some other combination?

The reason I ask is I am hoping that this will allow Agda to use more
than 4Gb of RAM on my machine.

Has anyone tried something like this?

Regards,

James


More information about the Agda mailing list