[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