> 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