search

wilbowma / scribble-minted

A scribble library for using pygmentize
MIT License
16 stars 1 forks source link

Binding version #5

Open jeapostrophe opened 4 years ago

jeapostrophe commented 4 years ago

Hi Will,

I adapted this code and made a version that works HTML and walks the turning it into Scribble and optionally creating xrefs from them. You can see the code here:

https://github.com/reach-sh/reach-lang/blob/master/docs-src/minted/main.rkt

wilbowma commented 3 years ago

If I use this, will it generate the "right" output in the PDF backend, since it's converted back to Scribble in the process?

jeapostrophe commented 3 years ago

I don't think so, because it uses xexpr-property, but I think a strategy like this would work.

wilbowma commented 3 years ago

Okay thanks. I'll give it some thought.