<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?&nbsp; [There isn't].&nbsp; 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>