<div dir="ltr">On 17 April 2016 at 00:54, Andrés Sicard-Ramírez &lt;<a href="mailto:asr@eafit.edu.co">asr@eafit.edu.co</a>&gt; wrote:<br>&gt; Dear all,<br>&gt;<br>&gt; The Agda Team is very pleased to announce the release of Agda 2.5.1.<br><br>I have a question about the new Library management features. <br><br>I would like to be able to specify which named library to use from within an .agda file. I hoped<br><br>{-# OPTIONS --library=foo #-}<br><br>would do it, but Agda says<br><br>Unrecognized option: --library=foo<br><br>so I guess this way of specifying a library is not possible — or did I get the syntax wrong?<br><br>Thanks,<br><br>Andy<br><br></div>