-
dialogue.lagdais a literate Agda file with LaTeX. -
From it we generate
dialogue.texwithagda --latex dialogue.lagda. -
And from that we generated
dialogue.pdfwithpdflatex dialogue.tex. -
The bibtex file has been incorporated in
dialogue.lagdaand hencedialogue.tex.
latex
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||