<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 &nbsp;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">how to uninstall &nbsp;this &nbsp;incompatible &nbsp;version?<br id="FontBreak"></font><br><div>Regards,</div><div><br></div><div>Martin&nbsp;</div><br><br><div>&gt; From: asr@eafit.edu.co<br>&gt; Date: Sat, 19 Dec 2015 04:57:23 -0500<br>&gt; Subject: Re: [Agda] how to run helloworld in agda<br>&gt; To: tesleft@hotmail.com<br>&gt; CC: leo@halfaya.org; ulf.norell@gmail.com; agda@lists.chalmers.se<br>&gt; <br>&gt; On 19 December 2015 at 03:23, Mandy Martino &lt;tesleft@hotmail.com&gt; wrote:<br>&gt; &gt; time agda -c hello.agda -i. -iagda-stdlib/src/<br>&gt; &gt; --ghc-flag=/home/martin/hilbertreborn/agda-stdlib/ffi/IO/FFI.hs<br>&gt; &gt;<br>&gt; <br>&gt; You don't need `--ghc-flag=/home/martin/hilbertreborn/agda-stdlib/ffi/IO/FFI.hs`<br>&gt; with the agda-stdlib library.<br>&gt; <br>&gt; <br>&gt; &gt; open import IO<br>&gt; &gt; main = putStrLn "Hello World"<br>&gt; &gt;<br>&gt; <br>&gt; The above program requires the agda-prelude library, but you are using<br>&gt; the agda-stdlib library.<br>&gt; <br>&gt; &gt; martin@ubuntu:~/hilbertreborn$ time agda -c hello.agda -i.<br>&gt; &gt; -iagda-stdlib/src/<br>&gt; &gt; --ghc-flag=/home/martin/hilbertreborn/agda-stdlib/ffi/IO/FFI.hs<br>&gt; ...<br>&gt; &gt; (/home/martin/hilbertreborn/agda-stdlib/src/Data/Maybe/Base.agda).<br>&gt; &gt;      Checking Data.Bool.Base<br>&gt; &gt; (/home/martin/hilbertreborn/agda-stdlib/src/Data/Bool/Base.agda).<br>&gt; &gt; /home/martin/hilbertreborn/agda-stdlib/src/Data/Bool/Base.agda:32,5-5<br>&gt; &gt; /home/martin/hilbertreborn/agda-stdlib/src/Data/Bool/Base.agda:32,5: Parse<br>&gt; &gt; error<br>&gt; &gt; COMPILED_DATA_UHC&lt;ERROR&gt;<br>&gt; &gt;  Bool __BOOL__ __TRUE__ __FALS...<br>&gt; <br>&gt; Your version of agda-stdlib is not compatible with your version of Agda.<br>&gt; <br>&gt; In http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary<br>&gt; you can see which version of agda-stdlib is compatible with your<br>&gt; version of Agda.<br>&gt; <br>&gt; -- <br>&gt; Andrés<br></div></div>                                               </div></body>
</html>