[09:06:32] I usually use haskell syntax highlighting [09:06:57] I'd write markdown, and embed the code in ```haskell \n … GF code here … ``` [09:07:11] then I convert the markdown to latex, and copy paste that bit into my real latex file [09:07:31] and all the libraries in the beginning of the generated latex file too [09:07:50] that's how I wrote all my GF papers and thesis :-D