lean4-metaprogramming-book
lean4-metaprogramming-book copied to clipboard
Pdf is not including images from markdown
Exporting the book in
A PDF is available here for download (and is rebuilt on each change).
Is generating a PDF which does not contain the images. A first example of this can be seen in "Connection to Compilers"
Which is not showing the diagram, that is available in the markdown file:
As with all the following diagrams and images