<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:????
}
--></style></head>
<body class='hmmessage'><div dir='ltr'><div><div dir="ltr"><div><div>Hi ,</div></div><div><br></div><div>how to include Data.List without conflict with agda-prelude?</div><div><br></div><div><div>/home/martin/hilbertreborn/moso.agda:2,13-22</div><div>Ambiguous module name. The module name Data.List could refer to any</div><div>of the following files:</div><div> /home/martin/hilbertreborn/agda-prelude/src/Data/List.agda</div><div> /home/martin/hilbertreborn/agda-stdlib-0.11/src/Data/List.agda</div><div>when scope checking the declaration</div><div> open import Data.List</div></div><div><br></div><div>Regards,</div><div><br></div><div>Martin</div> </div></div><style><!--
.ExternalClass .ecxhmmessage P {
padding:0px;
}
.ExternalClass body.ecxhmmessage {
font-size:12pt;
font-family:????;
}
--></style> </div></body>
</html>