[Agda] Writing a paper in Literate Agda

Nils Anders Danielsson nad at cse.gu.se
Fri Nov 29 11:57:10 CET 2013

On 2013-11-28 16:51, Alan Jeffrey wrote:
> In terms of tool support, the one thing I did sorely miss is the
> ability to run LaTeX from emacs's Agda mode. Does anyone know of an
> easy way to do this?

Perhaps you can use latexmk -pvc. From the man page:

    The second previewing option is the powerful -pvc option (mnemonic:
    "preview continuously"). In this case, latexmk runs continuously,
    regularly monitoring all the source files to see if any have changed.
    Every time a change is detected, latexmk runs all the programs
    necessary to generate a new version of the document. A good previewer
    (like gv) will then automatically update its display. Thus the user
    can simply edit a file and, when the changes are written to disk,
    latexmk completely automates the cycle of updating the .dvi (and
    possibly the .ps and .pdf) file, and refreshing the previewer's
    display. It's not quite WYSIWYG, but usefully close.


More information about the Agda mailing list