Discussion:
List of exports
(too old to reply)
Frederik Hanghøj Iversen
2018-02-25 13:47:00 UTC
Permalink
Raw Message
Can I get Agda to generate a tree of symbols exported in my project/a
module?
--
Regards
*Frederik HanghÞj Iversen*
Ulf Norell
2018-02-25 14:58:18 UTC
Permalink
Raw Message
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 <
Post by Frederik Hanghøj Iversen
Can I get Agda to generate a tree of symbols exported in my project/a
module?
--
Regards
*Frederik HanghÞj Iversen*
_______________________________________________
Agda mailing list
https://lists.chalmers.se/mailman/listinfo/agda
Frederik Hanghøj Iversen
2018-03-01 08:42:40 UTC
Permalink
Raw Message
Thanks
Post by 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 <
Post by Frederik Hanghøj Iversen
Can I get Agda to generate a tree of symbols exported in my project/a
module?
--
Regards
*Frederik HanghÞj Iversen*
_______________________________________________
Agda mailing list
https://lists.chalmers.se/mailman/listinfo/agda
Loading...