[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