[Agda] Running Agda on ARM

[Wojciech Meyer]

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.

Wojciech
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