<div dir="ltr">Can I get Agda to generate a tree of symbols exported in my project/a module?<br clear="all"><div><br></div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div>Regards</div><div><i>Frederik Hanghøj Iversen</i></div></div>
</div>