[Agda] Running Agda on ARM
wojciech.meyer at gmail.com
Tue Aug 20 17:55:45 CEST 2013
Sorry now sending to the list. Email quoted below.
>From that I see the easiest way is to use the latest sid debian unstable
package and it's dependencies. It would even work on Ubuntu.
I'll try this route and report back if I succeeded to run Agda interpreter
on my netbook.
On 19 Aug 2013 21:16, "Wojciech Meyer" <wojciech.meyer at gmail.com> wrote:
> Yes, but still I am not able to compile it on my netbook. Maybe looking at
> Debian package patches would help.
> On 19 Aug 2013 21:00, "Nils Anders Danielsson" <nad at cse.gu.se> wrote:
>> 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).
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Agda