[Agda] List of exports

[Frederik Hanghøj Iversen]

Thanks

On Feb 25, 2018 15:58, "Ulf Norell" <ulf.norell at gmail.com> wrote:

> C-c C-o shows you the contents of a module in the emacs mode.
>
> / Ulf
>
> On Sun, Feb 25, 2018 at 2:47 PM, Frederik Hanghøj Iversen <
> fhi.1990 at gmail.com> wrote:
>
>> Can I get Agda to generate a tree of symbols exported in my project/a
>> module?
>>
>> --
>> Regards
>> *Frederik Hanghøj Iversen*
>>
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>>
>>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180301/dc2b9f06/attachment.html>