<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:????
}
--></style></head>
<body class='hmmessage'><div dir='ltr'><font size="3" style="font-size:12pt;" color="#000000">Hi Andres,</font><div><font size="3" style="font-size:12pt;" color="#000000"><br></font></div><div><font size="3" style="font-size:12pt;" color="#000000">actually i followed this part many times, just do not understand where to type </font><span style="font-size: 12pt;">using the</span></div><div>-- --include-path flag.</div><div><br></div><div>already cd ffi and cabal install in this directory , still <span style="font-size: 12pt;">Could not find module `Agda.FFI'</span></div><div><font size="3" style="font-size:12pt;" color="#000000"><br></font></div><div><font color="#000000"><div>-- To make use of the library, add the path to the library’s root</div><div>-- directory (src) to the Agda search path, either using the</div><div>-- --include-path flag or by customising the Emacs mode variable</div><div>-- agda2-include-dirs (M-x customize-group RET agda2 RET).</div><div><br></div><div>-- To compile the library using the MAlonzo compiler you first need to</div><div>-- install some supporting Haskell code, for instance as follows:</div><div>--</div><div>-- cd ffi</div><div>-- cabal install</div></font><br><br><div>Regards,</div><div><br></div><div>Martin </div><br><br><div>> From: asr@eafit.edu.co<br>> Date: Sat, 2 Jan 2016 08:20:46 -0500<br>> Subject: Re: [Agda] how to include Data.List without conflict with agda-prelude<br>> To: tesleft@hotmail.com<br>> CC: ulf.norell@gmail.com; agda@lists.chalmers.se<br>> <br>> On 2 January 2016 at 08:01, Mandy Martino <tesleft@hotmail.com> wrote:<br>> > MAlonzo/Code/Agda/Primitive.hs:4:18:<br>> > Could not find module `Agda.FFI'<br>> > Use -v to see a list of the files searched for.<br>> <br>> See README.agda from the standard library.<br>> <br>> <br>> -- <br>> Andrés<br></div></div> </div></body>
</html>