[Agda] Agda on raspberry pi 4

[Peter Hancock]

On 30/11/2020 19:41, Martin Escardo wrote:
> Just for fun.
> 
> I managed to install Agda in the raspberry pi 4 (with 4gb of ram).
>> $ time cabal install Agda
> Resolving dependencies...
...
> real	1944m55.766s (this is 1.35 days)
...

Mine took:
real	757m33.261s  (ie. overnight)

This was on an 8GB pi 4B, on a slowish SSD.
Sampling the swap occasionally, I saw around 6G usage.

The biggest hassle was cobbling together a keyboard and
screen to set up wifi and ssh.
It seems to be possible to the 32-bit RealVNC server on (64 bit) ubuntu 12.10:
https://www.youtube.com/watch?v=qxey8eKi9bE&feature=youtu.be
This (maybe) lets you use Agda in the normal way with a remote graphical emacs.

Peter