[Agda] Hiding parts of proofs in Emacs Agda mode?

Erik Palmgren palmgren at math.su.se
Fri Feb 1 11:47:13 CET 2019


Does any know if there is some way of temporarily hiding parts of proofs in

Emacs Agda mode? Maybe some general feature of Emacs can do that?


For instance, it would be useful to hide definiens/proofs when browsing

Agda files.


I seem to recall that there was such a feature in Alfa a GUI for Agda 1, 
which

was very useful . In e.g. Mathematica there is also a convenient section 
system,

where parts can be hidden or folded away with a click.



Erik




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20190201/aa58a007/attachment.html>


More information about the Agda mailing list