<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=ISO-8859-1">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Should there be a file named Agda/Prim.agda somewhere in my
version? [There isn't]. It is neither in the version of Agda I
grabbed this morning from <a class="moz-txt-link-freetext" href="http://code.haskell.org/Agda">http://code.haskell.org/Agda</a>, nor in the
development standard library grabbed from <code><a class="moz-txt-link-freetext" href="http://www.cse.chalmers.se/~nad/repos/lib/">http://www.cse.chalmers.se/~nad/repos/lib/</a>.<br>
<br>
Jacques<br>
</code>
</body>
</html>