[Agda] --html

Martin Escardo m.escardo at cs.bham.ac.uk
Sun Dec 1 22:47:33 CET 2013


I find "agda --html" very useful and I use it very often.

Is there a way of having links to other web pages, for the
purposes of citation, using this, similar to latex's \url{...}?

Martin


More information about the Agda mailing list