[Agda] Running Agda on ARM

Wojciech Meyer wojciech.meyer at gmail.com
Thu Aug 15 01:01:43 CEST 2013


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


More information about the Agda mailing list