Hi, I’m trying to integrate syntax highlighting for Agda (an interactive theorem prover) in my under construction miminal-mistakes site. This is nontrivial because during agda development, syntax highlighting is only available if the code typechecks, and therefore, when converting to html, pdf, etc, one has to actually typecheck agda files before the syntax highlighting works.
Here is an example post with the generated markdown file (where the html is directly embedded in the .md), where I used the default minimal blog post category. You can see there is no syntax highlighting (as well as broken hyperlinks to the generated standard library definitions). When you generate the html, Agda automatically generates a Agda.css file, and I’m not sure where to put this and how to integrate it with the /_sass that comes with minimal mistakes out of the box (i tried running a css to scss converter to no avail, not sure the differences).
I see one can do custom layouts with custom css, but am not sure if this is the right solution for my problem - I assume it should be simpler to solve.
The desired behavior, look, and feel could come from this blogpost by Jesper, where you can see the hyperlinks actually work - he uses hakyll so I don’t know how much of what he does is fully translatable.
Any help or suggestions are more than welcome.