[Agda] Re: Running Agda on ARM

Stefan Monnier monnier at iro.umontreal.ca
Thu Aug 15 21:57:59 CEST 2013


> Therefore I'd like to know if it's possible to run agda interpreter on
> ARM at all, has anybody tried this?

Yes, I just tried it ("aptitude install agda") and Agda works just fine
on my home server running on an Allwinner A10.


        Stefan



More information about the Agda mailing list