[Agda] List of exports

[Ulf Norell]

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/20180225/5fc4394c/attachment.html>