[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