[Agda] Has Agda been tested on i686 architecture ?

[Nils Anders Danielsson]

On 2020-08-18 12:00, Pierre Lescanne (en) wrote:
> I would like to know whether Agda has been tested on i686 architecture
> (32 bits). In general, it works well, but this may explain some of the
> annoying bugs I encounter and why I do not get answers to my
> questions, since most of the users use AMD64 or like.

I'm using a 32-bit setup.

-- 
/NAD