Syntax highlighting in literate output

[athas]

I think you can get Pandoc to read a highlighting file.

[Lukires]

The markdown renderer I am currently using, md-block, supports Prism out of the box, which easily lets us add syntax highlighting.

I have implemented some basic syntax highlighting for Futhark in this:

The code for the highlighter is very simple and can be found here: https://github.com/diku-dk/futhark-playground/blob/main/web-server/static/prism/futhark.js