[Agda] Running Agda on ARM

[Nils Anders Danielsson]

On 2013-08-15 01:01, Wojciech Meyer wrote:
> 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.

The Agda mode no longer uses GHCi (as of version 2.3.2).

-- 
/NAD