<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<p>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.<br>
</p>
<p><font size="-1">P. S. For what I do, I feel that such an
architecture is enough. To preserve the planet, I believe that
we should not throw away computers that work. This is the reason
why I use second hand computers and give them a second life that
changes them from running Window NT and Office. </font><br>
</p>
<pre class="moz-signature" cols="72">--
Regards,
---------------------------
Pierre Lescanne
--------------------------- </pre>
</body>
</html>