<div dir="ltr"><div>Through an issue on agda/agda I found out there is a new way to install the stdlib. However, there are still some places around the web which refers to the "old" installation method of mangling agda2-include-dirs in emacs:</div><div><br></div><div><a href="https://agda.github.io/agda-stdlib/README.html">https://agda.github.io/agda-stdlib/README.html</a></div><div><a href="http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary">http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Libraries.StandardLibrary</a></div><div><br></div><div>It has been some time since I last toyed with Agda, so I was trying to go by the wiki, and I ran into the above first before I got a hunch something has changed. So getting these references changed would help the next reader.</div><div><br></div><div>But it leaves me with one question: is there any documentation on the "new" way of doing this? Perhaps inside the agda project itself?</div><div><br></div><div>Thank you in advance,</div><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature">J.</div>
</div>