[Agda] Running Agda on ARM

Nils Anders Danielsson nad at cse.gu.se
Mon Aug 19 22:00:40 CEST 2013

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).


More information about the Agda mailing list