[Agda] How to convert literate agda markdown to pdf with syntax-highligting
Guillermo Calderon
calderon at fing.edu.uy
Fri Aug 9 21:51:59 CEST 2019
Dear all:
If I have a file foo.lagda.md, I can use pandoc to generate a pdf:
```
$ pandoc --standalone foo.lagda.md -o foo.langda.pdf
```
This works but the agda code is poorly highlighted by pandoc/latex.
Is it posible to apply the latex backend of Agda to highlight the code
in the document?
I so, what would be the approppriate sequence of pandoc/agda commands
to obtain this goal?
Thanks in advance.
Best regards,
Guillermo
More information about the Agda
mailing list