[Agda] Running Agda on ARM

Wojciech Meyer 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).
>> --
>> /NAD
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20130820/42f73f34/attachment.html

More information about the Agda mailing list