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