Can I get Agda to generate a tree of symbols exported in my project/a module? -- Regards *Frederik Hanghøj Iversen* -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180225/20362269/attachment.html>