[Agda] Running Agda on ARM

[Wojciech Meyer]

Hello,

I'm trying to get Agda working on my Samsung chromebook. I got to the
point where I have ghci trunk working, but I am stuck at getting Agda
trunk to work with ghc I compiled (and the dependent packages). This is
needed for the interactive Emacs mode. Therefore I'd like to know if
it's possible to run agda interpreter on ARM at all, has anybody tried
this? I notice that Agda trunk does not compile with ghc trunk is there
any plan to fix it?

Thanks,
Wojciech